Countermodels from sequent calculi in multi-modal logics

DOI10.1109/LICS.2012.42MaRDI QIDQ2986808zbMATH OpenFDO

Authors Deepak Garg, Valerio Genovese, Sara Negri

Publication date 16 May 2017

Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitylabeled sequent calculusmulti-modal logiccountermodels

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07)

Recommendations

• Sequent calculi and decision procedures for weak modal systems
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Countermodel construction via optimal hypersequent calculi for non-normal modal logics
• scientific article; zbMATH DE number 2024633
• Proofs and countermodels in non-classical logics

Cited in

(13)

• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Meaning in use
• Intuitionistic Decision Procedures Since Gentzen
• On graphs for intuitionistic modal logics
• Proofs and countermodels in non-classical logics
• scientific article; zbMATH DE number 2024633 (Why is no real title available?)
• Decidable fragments of the quantified argument calculus
• Sequent Calculi for Multi-modal Logic with Interaction
• Formal Reasoning About Influence in Natural Sciences Experiments
• Countermodel construction via optimal hypersequent calculi for non-normal modal logics
• Mechanising Gödel-Löb provability logic in HOL light
• Counterpart theory as a semantics for modal logic

This page was built for publication: Countermodels from sequent calculi in multi-modal logics

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