Filtrations of generalized Veltman models

Mathematical Logic Quarterly 62 (4-5):412-419 (2016)
  Copy   BIBTEX


The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.



    Upload a copy of this work     Papers currently archived: 89,621

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bisimulation quotients of Veltman models.Domagoj Vrgoc & Mladen Vukovic - 2011 - Reports on Mathematical Logic:59-73.
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
On Cartwright's models for EPR.Jacek Cachro & Tomasz Placek - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (3):413-433.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.


Added to PP

15 (#799,625)

6 months
3 (#431,291)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
A bisimulation characterization for interpretability logic.T. Perkov & M. Vukovi - 2014 - Logic Journal of the IGPL 22 (6):872-879.

View all 8 references / Add more references