Countermodels from sequent calculi in multi-modal logics
From MaRDI portal
Publication:2986808
DOI10.1109/LICS.2012.42zbMATH Open1364.03030MaRDI QIDQ2986808FDOQ2986808
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)
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
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07)
Cited In (13)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- Intuitionistic Decision Procedures Since Gentzen
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- On graphs for intuitionistic modal logics
- Proofs and countermodels in non-classical logics
- Decidable fragments of the quantified argument calculus
- Title not available (Why is that?)
- Formal Reasoning About Influence in Natural Sciences Experiments
- Sequent Calculi for Multi-modal Logic with Interaction
- 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
- Meaning in Use
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)
