Tin Perkov

Filtrations of generalized Veltman models

2016 · Mathematical logic quarterly

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 …