Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

An Elementary Construction for a Non-Elementary Procedure

Maarten Marx and Szabolcs Mikulás
Studia Logica: An International Journal for Symbolic Logic
Vol. 72, No. 2, Many-Dimensional Logical Systems (Nov., 2002), pp. 253-263
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016463
Page Count: 11
  • Download ($43.95)
  • Cite this Item
An Elementary Construction for a Non-Elementary Procedure
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[253]
    [253]
  • Thumbnail: Page 
254
    254
  • Thumbnail: Page 
255
    255
  • Thumbnail: Page 
256
    256
  • Thumbnail: Page 
257
    257
  • Thumbnail: Page 
258
    258
  • Thumbnail: Page 
259
    259
  • Thumbnail: Page 
260
    260
  • Thumbnail: Page 
261
    261
  • Thumbnail: Page 
262
    262
  • Thumbnail: Page 
263
    263