Decidability of interpretability logics ILM0 and ILW*

DOI10.1093/JIGPAL/JZX027zbMATH Open1492.03021OpenAlexW2754631492MaRDI QIDQ5095629

Luka Mikec, Tin Perkov, Mladen Vuković

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx027

zbMATH Keywords

filtrationdecidabilityfinite model propertyinterpretability logicgeneralized Veltman semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (6)

Theory and application of labelling techniques for interpretability logics ⋮ Bisimulations and bisimulation games between Verbrugge models ⋮ Bisimulations between Verbrugge models and Veltman models ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics ⋮ Complexity of the interpretability logic IL

This page was built for publication: Decidability of interpretability logics ILM0 and ILW*

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5095629)