Theory and application of labelling techniques for interpretability logics

DOI10.1002/MALQ.202200015zbMath1521.03237OpenAlexW4284709433WikidataQ120645601 ScholiaQ120645601MaRDI QIDQ6094159

Evan Goris, Joost J. Joosten, Luka Mikec, Marta Bílková

Publication date: 12 September 2023

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability and interpretability logics with restricted realizations
• On the proofs of arithmetical completeness for interpretability logic
• Interpretability in PRA
• On the proof of Solovay's theorem
• The formalization of interpretability
• Provability interpretations of modal logic
• Self provers and  1 sentences
• A new principle in the interpretability logic of all reasonable arithmetical theories
• Modal Matters for Interpretability Logics
• Decidability of interpretability logics ILM0 and ILW*
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
• Topological semantics of conservativity and interpretability logics
• The interpretability logic of Peano arithmetic

This page was built for publication: Theory and application of labelling techniques for interpretability logics