The discovery of my completeness proofs
Bulletin of Symbolic Logic 2 (2):127-158 (1996)
| 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 articlesDick H. J. Jongh (1987). A Simplification of a Completeness Proof of Guaspari and Solovay. Studia Logica 46 (2):187 - 192.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
John Corcoran (1969). Three Logical Theories. Philosophy of Science 36 (2):153-177.
John L. Pollock (1971). Henkin Style Completeness Proofs in Theories Lacking Negation. Notre Dame Journal of Formal Logic 12 (4):509-511.
Kenneth Harris & Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51-55.
Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51 - 55.
Paolo Gentilini (1993). Syntactical Results on the Arithmetical Completeness of Modal Logic. Studia Logica 52 (4):549 - 564.
Robert Goldblatt (1984). An Abstract Setting for Henkin Proofs. Topoi 3 (1):37-41.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,551 of 549,005 )Recent downloads (6 months)3 ( #25,729 of 549,005 )How can I increase my downloads? |
My notes
Discussion
