Theory and application of labelling techniques for interpretability logics

DOI10.1002/MALQ.202200015MaRDI QIDQ6094159zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Interpretability logics and generalised Veltman semantics
• On the proofs of arithmetical completeness for interpretability logic
• Modal Matters for Interpretability Logics
• Labelled tableaux for interpretability logics
• Modal completeness of sublogics of the interpretability logic IL

Cites work

• A new principle in the interpretability logic of all reasonable arithmetical theories
• Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• Interpretability in PRA
• Interpretability logics and generalised Veltman semantics
• Modal Matters for Interpretability Logics
• On the proof of Solovay's theorem
• On the proofs of arithmetical completeness for interpretability logic
• Provability and interpretability logics with restricted realizations
• Provability interpretations of modal logic
• Self provers and \(\Sigma_{1}\) sentences
• The formalization of interpretability
• The interpretability logic of Peano arithmetic
• Topological semantics of conservativity and interpretability logics

Cited in

(2)

• scientific article; zbMATH DE number 4210113 (Why is no real title available?)
• Labelled tableaux for interpretability logics

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

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