Loop-free calculus for modal logic S4. II

DOI10.1007/S10986-012-9160-XzbMath1286.03054OpenAlexW2040438935MaRDI QIDQ392998

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-9160-x

zbMATH Keywords

modal logicsequent calculusloop-free calculus

Mathematics Subject Classification ID

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

Cites Work

• Loop-free calculus for modal logic S4. I
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Unnamed Item

This page was built for publication: Loop-free calculus for modal logic S4. II