Provability, truth, and modal logic
Journal of Philosophical Logic 9 (1):1 - 7 (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,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5-6):507 - 544.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Paul Égré (2005). The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Journal of Logic, Language and Information 14 (1).
Ulrich Nortmann (2001). How to Extend the Dialogical Approach to Provability Logic. Synthese 127 (1-2):95 - 103.
George Boolos (1980). On Systems of Modal Logic with Provability Interpretations. Theoria 46 (1):7-18.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
George Boolos (1993). The Logic of Provability. Cambridge University Press.
George 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads29 ( #42,467 of 551,007 )Recent downloads (6 months)1 ( #63,425 of 551,007 )How can I increase my downloads? |
My notes
Discussion
