The Došen square under construction: a tale of four modalities
From MaRDI portal
Publication:2142095
DOI10.1007/978-3-030-86059-2_26OpenAlexW3197862441MaRDI QIDQ2142095
Michael Mendler, Stephan Scheele, Luke Edward Burke
Publication date: 25 May 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_26
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive modal logics. I
- Cut-free Gentzen calculus for multimodal CK
- Negation in the context of gaggle theory
- Intuitionistic non-normal modal logics: a general framework
- Routley star and hyperintensionality
- Combining intuitionistic connectives and Routley negation
- Finite model property for negative modalities
- Towards constructive DL for abstraction and refinement
- Gentzen calculi for modal propositional logic
- Models for normal intuitionistic modal logics
- A perspective on modal sequent logic
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Propositional lax logic
- Composition of an intuitionistic negation and negative modalities as a necessity operator
- On classical behavior of intuitionistic modalities
- On Nested Sequents for Constructive Modal Logics
- On Split Negation, Strong Negation, Information, Falsification, and Verification
- Negation as a modality in a quantified setting
- Well-Founded and Partial Stable Semantics Logical Aspects
- Computational types from a logical perspective
- On the Computational Interpretation of CKn for Contextual Information Processing
- Constructible falsity
This page was built for publication: The Došen square under construction: a tale of four modalities