Loop-free calculus for modal logic S4. I

DOI10.1007/s10986-012-9151-yzbMath1286.03053OpenAlexW4250632685MaRDI QIDQ392988

Julius Andrikonis

Publication date: 15 January 2014

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-012-9151-y

zbMATH Keywords

modal logicsequent calculusloop-free calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

A dual-context sequent calculus for the constructive modal logic S4 ⋮ On interactive proof-search for constructive modal necessity ⋮ Loop-free calculus for modal logic S4. II

Cites Work

• Proof methods for modal and intuitionistic logics
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item