A dual-context sequent calculus for the constructive modal logic S4
From MaRDI portal
Publication:5889308
DOI10.1017/S0960129522000378OpenAlexW4309791347MaRDI QIDQ5889308
P. Selene Linares-Arévalo, Lourdes del Carmen González Huesca, Favio E. Miranda-Perea
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129522000378
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Does the deduction theorem fail for modal logic?
- Loop-free calculus for modal logic S4. I
- Natural deduction, hybrid systems and modal logics
- Constructive modal logics. I
- On modal logic with an intuitionistic base
- Propositional lax logic
- Monad as modality
- On an intuitionistic modal logic
- Structural cut elimination. I: Intuitionistic and classical logic
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- On interactive proof-search for constructive modal necessity
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- A judgmental reconstruction of modal logic
- A modal analysis of staged computation
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
- A Logic of Abstract Argumentation
- A Constructive Logic for Services and Information Flow in Computer Networks
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Contextual modal type theory
- Logical Mobility and Locality Types
- The elimination theorem when modality is present
This page was built for publication: A dual-context sequent calculus for the constructive modal logic S4
