INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
From MaRDI portal
Publication:5148108
DOI10.1017/JSL.2020.7zbMath1462.03028arXiv1907.03849OpenAlexW3036646263MaRDI QIDQ5148108
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
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