On Interactive Proof-Search for Constructive Modal Necessity
Open Access
- 24 November 2020
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 354, 107-127
- https://doi.org/10.1016/j.entcs.2020.10.009
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Axiomatic and dual systems for constructive necessity, a formally verified equivalenceJournal of Applied Non-Classical Logics, 2019
- Loop-free calculus for modal logic S4. ILithuanian Mathematical Journal, 2012
- Does the deduction theorem fail for modal logic?Synthese, 2011
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4Journal of Logic and Computation, 2008
- A Constructive Logic for Services and Information Flow in Computer NetworksThe Computer Journal, 2000
- Encoding Modal Logics in Logical FrameworksStudia Logica, 1998