Elementary definability and completeness in general and positive modal logic
Journal of Logic, Language and Information 12 (1):99-117 (2003)
| Abstract | The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, no general frames are involved. | |||||||||
| 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 articlesG. Sambin & V. Vaccaro (1989). A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. Journal of Symbolic Logic 54 (3):992-999.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Bruce M. Kapron (1987). Modal Sequents and Definability. Journal of Symbolic Logic 52 (3):756-762.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Maarten De Rijke (1992). The Modal Logic of Inequality. Journal of Symbolic Logic 57 (2):566 - 584.
Paolo Gentilini (1993). Syntactical Results on the Arithmetical Completeness of Modal Logic. Studia Logica 52 (4):549 - 564.
George Gargov & Valentin Goranko (1993). Modal Logic with Names. Journal of Philosophical Logic 22 (6):607 - 636.
J. F. A. K. Benthem (1980). Some Kinds of Modal Completeness. Studia Logica 39 (2-3):125 - 141.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Holger Sturm (2000). Elementary Classes in Basic Modal Logic. Studia Logica 64 (2):193-213.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,119 )Recent downloads (6 months)1 ( #63,361 of 549,119 )How can I increase my downloads? |
My notes
Discussion
