Countermodels from Sequent Calculi in Multi-Modal Logics

From MaRDI portal

Revision as of 21:04, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2986808

Jump to:navigation, search

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)

zbMATH Keywords

decidability labeled sequent calculus multi-modal logic countermodels

Mathematics Subject Classification ID

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

Related Items (7)

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

This page was built for publication: Countermodels from Sequent Calculi in Multi-Modal Logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2986808&oldid=15995511"