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)|
|Through your library||Configure|
Similar books and articles
Anand 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.
Added to index2009-01-28
Total downloads2 ( #232,265 of 548,984 )
Recent downloads (6 months)0
How can I increase my downloads?