PP-2001-10: Marx, Maarten and Mikulas, Szabolcs (2001) An Elementary Construction for a Non-elementary Procedure. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2001-10.text.ps.gz Download (78kB) |
|
Text (Abstract)
PP-2001-10.abstract.txt Download (694B) |
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.
| 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 |
