Model existence in non-compact modal logic
Studia Logica 67 (1):61-73 (2001)
| Abstract | Predicate modal logics based on Kwith non-compact extra axioms are discussed and a sufficient condition for the model existence theorem is presented. We deal with various axioms in a general way by an algebraic method, instead of discussing concrete non-compact axioms one by one. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJ. A. Makowsky (1985). Vopěnka's Principle and Compact Logics. Journal of Symbolic Logic 50 (1):42-48.
Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Ralf-Dieter Schindler (1999). Successive Weakly Compact or Singular Cardinals. Journal of Symbolic Logic 64 (1):139-146.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Arthur W. Apter (1998). Laver Indestructibility and the Class of Compact Cardinals. Journal of Symbolic Logic 63 (1):149-157.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2010). The Modal Logic of Stone Spaces: Diamond as Derivative. Review of Symbolic Logic 3 (1):26-40.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
