Labelled sequent calculi for inquisitive modal logics

DOI10.1007/978-3-031-62687-6_9MaRDI QIDQ7034649zbMATH OpenFDO

Authors Valentin Müller

Publication date 31 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-62687-6_9

zbMATH Keywords

doxastic logicepistemic logicinquisitive semanticslabelled sequent calculimodal logicproof theoryteam semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites work

• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Dependence logic. A new approach to independence friendly logic
• Inquisitive dynamic epistemic logic
• Inquisitive semantics
• Labelled sequent calculus for inquisitive logic
• Modalities in the realm of questions: axiomatizing inquisitive epistemic logic
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Propositional logics of dependence
• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schließen. I.
• Untersuchungen über das logische Schließen. II.

Cited in

(1)

• Geometric theories in inquisitive modal logic

This page was built for publication: Labelled sequent calculi for inquisitive modal logics

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