Premium
Filtrations of generalized Veltman models
Author(s) -
Perkov Tin,
Vuković Mladen
Publication year - 2016
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201500030
Subject(s) - interpretability , property (philosophy) , mathematics , algebra over a field , modal , pure mathematics , semantics (computer science) , calculus (dental) , computer science , artificial intelligence , epistemology , medicine , philosophy , chemistry , dentistry , polymer chemistry , programming language
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 IL with respect to Veltman models, and we prove the finite model property of the systems ILM and ILM 0 with respect to generalized Veltman models.