A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic ${\rm S}_5$ is metalogical''
Notre Dame Journal of Formal Logic 27 (4):551-555 (1986)
| 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,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesZdzisław Dywan (1983). The Connective of Necessity of Modal Logic S5 is Metalogical. Notre Dame Journal of Formal Logic 24 (3):410-414.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Kosta Došen (1992). Modal Logic as Metalogic. Journal of Logic, Language and Information 1 (3):173-201.
Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.
Luca Alberucci & Alessandro Facchini (2009). On Modal Μ -Calculus and Gödel-Löb Logic. Studia Logica 91 (2):145 - 169.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2).
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Branislav R. Boričić (1986). A Cut-Free Gentzen-Type System for the Logic of the Weak Law of Excluded Middle. Studia Logica 45 (1):39 - 53.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #201,695 of 548,969 )Recent downloads (6 months)1 ( #63,511 of 548,969 )How can I increase my downloads? |
My notes
Discussion
