Filtrations of generalized Veltman models

DOI10.1002/MALQ.201500030zbMath1359.03043OpenAlexW2509229232MaRDI QIDQ2827954

Mladen Vuković, Tin Perkov

Publication date: 24 October 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201500030

zbMATH Keywords

modal logicfiltrationfinite model propertyinterpretability logicprovability logicVeltman modelgeneralized Veltman semantics

Mathematics Subject Classification ID

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

Related Items (3)

Bisimulations and bisimulation games between Verbrugge models ⋮ Bisimulations between Verbrugge models and Veltman models ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS

Cites Work

• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• Bisimulations and bisimulation quotients of generalized Veltman models
• A new principle in the interpretability logic of all reasonable arithmetical theories
• Bisimulations between generalized Veltman models and Veltman models
• Modal Matters for Interpretability Logics
• The interpretability logic of Peano arithmetic
• The principles of interpretability

This page was built for publication: Filtrations of generalized Veltman models