Decidable fragments of first-order modal logics
Journal of Symbolic Logic 66 (3):1415-1438 (2001)
| Abstract | The paper considers the set ML 1 of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in ML 1 , which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics | |||||||||
| 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 articlesRoman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev (2004). Temporalising Tableaux. Studia Logica 76 (1):91 - 134.
ágnes Kurucz, István Németi, Ildikó Sain & András Simon (1995). Decidable and Undecidable Logics with a Binary Modality. Journal of Logic, Language and Information 4 (3):191-206.
Maarten Marx (2002). Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Studia Logica 72 (2):233-252.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Erich Grädel (1999). On the Restraining Power of Guards. Journal of Symbolic Logic 64 (4):1719-1742.
Dov Gabbay & Valentin Shehtman (2002). Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72 (2):157-183.
Frank Wolter (2000). First Order Common Knowledge Logics. Studia Logica 65 (2):249-271.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,316 of 549,006 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
