Labelled tableaux for interpretability logics

MaRDI QIDQ5224691zbMATH OpenFDO

Authors Tuomas Hakoniemi, Joost J. Joosten

Publication date 24 July 2019

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

Mathematics Subject Classification ID

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

Abstract: In is paper we present a labelled tableau proof system that serves a wide class of interpretability logics. The system is proved sound and complete for any interpretability logic characterised by a frame condition given by a set of universal strict first order Horn sentences. As such, the current paper adds to a better proof-theoretical understanding of interpretability logics.

Recommendations

• Interpretability logics and generalised Veltman semantics
• Labelled tableau systems for some subintuitionistic logics
• Theory and application of labelling techniques for interpretability logics
• scientific article; zbMATH DE number 1215477
• Modal Matters for Interpretability Logics

Cited in

(5)

• Theory and application of labelling techniques for interpretability logics
• Labelled tableau systems for some subintuitionistic logics
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Modular sequent calculi for interpretability logics
• Semantic Labelled Tableaux for Propositional BI

This page was built for publication: Labelled tableaux for interpretability logics

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