On modal systems having arithmetical interpretations

Journal of Symbolic Logic 49 (3):935-942 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274147

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A philosopher's understanding of quantum mechanics: possibilities and impossibilities of a modal interpretation.Pieter E. Vermaas - 1999 - New York: Cambridge University Press.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Two no-go theorems for modal interpretations of quantum mechanics.E. P. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (3):403-431.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
How to reconcile modal interpretations of quantum mechanics with relativity.Joseph Berkovitz & Meir Hemmo - unknown
Modal Interpretations of Quantum Mechanics and Relativity: A Reconsideration. [REVIEW]Joseph Berkovitz & Meir Hemmo - 2004 - Foundations of Physics 35 (3):373-397.
The contextual character of modal interpretations of quantum mechanics.Graciela Domenech, Hector Freytes & Christian de Ronde - unknown
Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.

Analytics

Added to PP
2009-01-28

Downloads
59 (#267,103)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Arnon Avron
Tel Aviv University

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.

View all 22 citations / Add more citations

References found in this work

Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.

Add more references