On intuitionistic diamonds (and lack thereof)

DOI10.1007/978-3-031-43513-3_16MaRDI QIDQ6541158zbMATH OpenFDO

Authors Anupam Das, Sonia Marin

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-43513-3_16

zbMATH Keywords

cut-eliminationintuitionistic logicModal logicnegative translationnested sequentsproof theory

Mathematics Subject Classification ID

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

Cites work

• A judgmental reconstruction of modal logic
• A modal extension of intuitionist logic
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Constructive modal logics. I
• Fitch-style rules for many modal logics
• Game semantics for constructive modal logic
• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• scientific article; zbMATH DE number 3054619 (Why is no real title available?)
• Intuitionistic tense and modal logic
• MIPC as the formalisation of an intuitionist concept of modality
• Modal logic
• Modality and possibility in some intuitionistic modal logics
• Models for normal intuitionistic modal logics
• Natural deduction rules for modal logics
• Nested sequents for intuitionistic logics
• On modal logic with an intuitionistic base
• On nested sequents for constructive modal logics
• On some intuitionistic modal logics
• Proof analysis in modal logic
• The consistency of arithmetics
• The elimination theorem when modality is present
• Wijesekera-style constructive modal logics
• Zur intuitionistischen Arithmetik und Zahlentheorie.

Cited in

(12)

• Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
• A natural intuitionistic modal logic: axiomatization and bi-nested calculus
• Justification logic for intuitionistic modal logic
• Intuitionistic -calculus with the Lewis arrow
• A proof-theoretic view of basic intuitionistic conditional logic
• Intuitionistic modal logics: tips and clips
• Two-dimensional Kripke semantics i: presheaves
• Constructive modal logics: bi-nested calculi and bi-relational countermodels
• Intuitionistic \textsf{S4} as a logic of topological spaces
• Minimal modal logics, constructive modal logics and their relations
• Local intuitionistic modal logics and their calculi
• Intuitionistic monotone modal logic via translation

This page was built for publication: On intuitionistic diamonds (and lack thereof)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541158)