INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS

DOI10.1017/JSL.2020.7zbMath1462.03028arXiv1907.03849OpenAlexW3036646263MaRDI QIDQ5148108

Mladen Vuković, Luka Mikec

Publication date: 29 January 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.03849

zbMATH Keywords

completenessdecidabilityfinite model propertyinterpretability logicVeltman 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)

Theory and application of labelling techniques for interpretability logics ⋮ Bisimulations and bisimulation games between Verbrugge models ⋮ Bisimulations between Verbrugge models and Veltman models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• Filtrations of generalized Veltman models
• 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
• Decidability of interpretability logics ILM0 and ILW*
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• The interpretability logic of Peano arithmetic
• The principles of interpretability

This page was built for publication: INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS