An elementary construction for a non-elementary procedure
Studia Logica 72 (2):253-263 (2002)
| Abstract | We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms when taking products. | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAnand Pillay (1994). Definability of Types, and Pairs of o-Minimal Structures. Journal of Symbolic Logic 59 (4):1400-1409.
Marcus Kracht (1993). Splittings and the Finite Model Property. Journal of Symbolic Logic 58 (1):139-157.
Ágnes Kurucz (2000). On Axiomatising Products of Kripke Frames. Journal of Symbolic Logic 65 (2):923-945.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
P. Ouwehand & H. Rose (1998). Filtral Powers of Structures. Journal of Symbolic Logic 63 (4):1239-1254.
Dov Gabbay & Valentin Shehtman (2002). Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72 (2):157-183.
David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993 - 1021.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
