The Došen square under construction: a tale of four modalities

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

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Towards an intuitionistic deontic logic tolerating conflicting obligations

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