Minimal p-morphic images, axiomatizations and coverings in the modal logic K
Studia Logica 62 (3):371-398 (1999)
| Abstract | We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4 | |||||||||
| 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 articlesAlexander Chagrov (1997). Modal Logic. Oxford University Press.
Tim Fernando (1999). A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8 (4):445-468.
Dov Gabbay & Valentin Shehtman (2002). Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72 (2):157-183.
George F. Schumm (1979). Modal Logics with No Minimal Proper Extensions. Studia Logica 38 (3):233 - 235.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
J. Michael Dunn & Chunlai Zhou (2005). Negation in the Context of Gaggle Theory. Studia Logica 80 (2-3):235 - 264.
Mojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.
Nino Cocchiarella (1976). On the Logic of Natural Kinds. Philosophy of Science 43 (2):202-222.
Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,118 )Recent downloads (6 months)1 ( #63,361 of 549,118 )How can I increase my downloads? |
My notes
Discussion
