On systems of modal logic with provability interpretations
Theoria 46 (1):7-18 (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorge Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Paul Égré (2005). The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Journal of Logic, Language and Information 14 (1).
George Boolos (1993). The Logic of Provability. Cambridge University Press.
Ulrich Nortmann (2001). How to Extend the Dialogical Approach to Provability Logic. Synthese 127 (1-2):95 - 103.
Vedran Čačić & Domagoj Vrgoč (2013). A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. Studia Logica 101 (1):31-44.
George Boolos (1980). Provability, Truth, and Modal Logic. Journal of Philosophical Logic 9 (1):1 - 7.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Paolo Gentilini (1999). Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. Studia Logica 63 (2):245-268.
E. P. (1999). Two No-Go Theorems for Modal Interpretations of Quantum Mechanics. Studies in History and Philosophy of Science Part B 30 (3):403-431.
Arnold Nat (1979). First-Order Indefinite and Uniform Neighbourhood Semantics. Studia Logica 38 (3):277 - 296.
H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1).
Michael Dickson (1996). Logical Foundations for Modal Interpretations of Quantum Mechanics. Philosophy of Science 63 (3):329.
Analytics
Monthly downloads |
Added to index2010-09-13Total downloads11 ( #99,458 of 549,014 )Recent downloads (6 months)1 ( #63,261 of 549,014 )How can I increase my downloads? |
My notes
Discussion
