Syntactic aspects of modal incompleteness theorems
Theoria 45 (2):63-77 (1979)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHenryk Kotlarski (1994). On the Incompleteness Theorems. Journal of Symbolic Logic 59 (4):1414-1419.
John Bell (2007). Incompleteness in a General Setting. The Bulletin of Symbolic Logic 13 (1):21 - 30.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Paolo Gentilini (1999). Proof-Theoretic Modal Pa-Completeness I: A System-Sequent Metric. Studia Logica 63 (1):27-48.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Marcelo Tsuji, Newton C. A. Costdaa & Francisco A. Doria (1998). The Incompleteness of Theories of Games. Journal of Philosophical Logic 27 (6):553-568.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
H. P. Barendregt (1976). The Incompleteness Theorems. Rijksuniversiteit Utrecht, Mathematisch Instituut.
Lloyd Humberstone (2007). Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness. Journal of Philosophical Logic 36 (1):1 - 32.
Edwin D. Mares (2000). The Incompleteness of RGL. Studia Logica 65 (3):315-322.
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5-6):507 - 544.
Analytics
Monthly downloads |
Added to index2010-09-13Total downloads6 ( #145,673 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
