On intuitionistic diamonds (and lack thereof)

DOI10.1007/978-3-031-43513-3_16MaRDI QIDQ6541158FDOQ6541158

Authors: Anupam Das, Sonia Marin 

Publication date: 17 May 2024

zbMATH Keywords

proof theoryintuitionistic logiccut-eliminationnegative translationnested sequentsModal logic

Mathematics Subject Classification ID

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

Cites Work

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

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)