Loop-free calculus for modal logic S4. I
From MaRDI portal
Publication:392988
DOI10.1007/s10986-012-9151-yzbMath1286.03053OpenAlexW4250632685MaRDI QIDQ392988
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
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