Modal Matters for Interpretability Logics

DOI10.1093/JIGPAL/JZN013MaRDI QIDQ3535605zbMATH OpenOpenAlexWikidataFDO

Authors Evan Goris, Joost J. Joosten

Publication date 13 November 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

modal logicinterpretability logicmodal completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Abstract: This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic $extbfIL$. Next, the method is applied to obtain new results: the modal completeness of the logic $extbfILsf{M}_0$, and modal completeness of $extbfIL(sf{W}^{\ast })$.

Recommendations

• Self provers and \(\Sigma_{1}\) sentences
• Bisimulations between generalized Veltman models and Veltman models
• A cut-free sequent system for the smallest interpretability logic
• A note on ultraproducts of Veltman models
• A new principle in the interpretability logic of all reasonable arithmetical theories
• scientific article; zbMATH DE number 218514
• scientific article; zbMATH DE number 1215477
• Interpolation and the interpretability logic of PA
• scientific article; zbMATH DE number 218496
• Bisimulation quotients of Veltman models

Cited in

(18)

• A modal interpretation of the logic of interrogation
• Theory and application of labelling techniques for interpretability logics
• scientific article; zbMATH DE number 4090900 (Why is no real title available?)
• scientific article; zbMATH DE number 2099412 (Why is no real title available?)
• A new proof of completeness for a relative modal logic with composition and intersection
• Transductions in arithmetic
• Modal completeness of sublogics of the interpretability logic IL
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014
• Labelled tableaux for interpretability logics
• Interpretability in PRA
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• scientific article; zbMATH DE number 7454909 (Why is no real title available?)
• Filtrations of generalized Veltman models
• A Possible Modal Formulation of Comprehension Scheme
• Interpretability logics and generalised Veltman semantics
• Modular sequent calculi for interpretability logics
• A short note on essentially \(\Sigma_1\) sentences

This page was built for publication: Modal Matters for Interpretability Logics

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