Countermodels from Sequent Calculi in Multi-Modal Logics
From MaRDI portal
Publication:2986808
DOI10.1109/LICS.2012.42zbMath1364.03030MaRDI QIDQ2986808
Valerio Genovese, Deepak Garg, Sara Negri
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07)
Related Items
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics, Mechanising Gödel-Löb provability logic in HOL light, Intuitionistic Decision Procedures Since Gentzen, On graphs for intuitionistic modal logics, Proofs and countermodels in non-classical logics, Meaning in Use, Proof-theoretic analysis of the logics of agency: the deliberative STIT
