PP-2001-10: An Elementary Construction for a Non-elementary Procedure

PP-2001-10: Marx, Maarten and Mikulas, Szabolcs (2001) An Elementary Construction for a Non-elementary Procedure. [Report]

[img] Text (Full Text)

Download (78kB)
[img] Text (Abstract)

Download (694B)


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.

Item Type: Report
Report Nr: PP-2001-10
Series Name: Prepublication (PP) Series
Year: 2001
Uncontrolled Keywords: Modal logic, product of modal logics, finite model property, decidability
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/52

Actions (login required)

View Item View Item