Cut-free Gentzen calculus for multimodal CK
From MaRDI portal
Publication:764259
DOI10.1016/J.IC.2011.10.003zbMath1248.03036OpenAlexW2020894459MaRDI QIDQ764259
Stephan Scheele, Michael Mendler
Publication date: 13 March 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.10.003
Related Items (6)
Intuitionistic non-normal modal logics: a general framework ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ Game semantics for constructive modal logic ⋮ The Došen square under construction: a tale of four modalities ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ Maehara-style modal nested calculi
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive modal logics. I
- Notions of computation and monads
- Towards constructive DL for abstraction and refinement
- 2-sequent calculus: A proof theory of modalities
- Propositional lax logic
- Monad as modality
- Many-dimensional modal logics: theory and applications
- Topological duality for intuitionistic modal algebras
- Tableaux for constructive concurrent dynamic logic
- A judgmental reconstruction of modal logic
- Recursion over objects of functional type
- Embedding Constructive K into Intuitionistic K
- A modal analysis of staged computation
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- Computational types from a logical perspective
- 2-Sequent Calculus: Intuitionism and Natural Deduction
- A computational formalization for partial evaluation
- The Description Logic Handbook
- Computer Science Logic
This page was built for publication: Cut-free Gentzen calculus for multimodal CK
