On intuitionistic diamonds (and lack thereof)

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

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

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