Label-Free Proof Systems for Intuitionistic Modal Logic IS5

DOI10.1007/978-3-642-17511-4_15zbMath1253.03042OpenAlexW1555795547MaRDI QIDQ3066103

Yakoub Salhi, Didier Galmiche

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_15

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of proofs (03F20) Intermediate logics (03B55)

Related Items

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), Natural deduction calculi for classical and intuitionistic S5, Judgmental subtyping systems with intersection types and modal types