On intuitionistic diamonds (and lack thereof)
type: Item
instance of: scholarly article
title: On intuitionistic diamonds (and lack thereof)
DOI: 10.1007/978-3-031-43513-3_16
author: Anupam Das
author: Sonia Marin
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850750
zbMATH Keywords: Modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: negative translation
zbMATH Keywords: proof theory
zbMATH Keywords: nested sequents
zbMATH Keywords: cut-elimination
MaRDI profile type: Publication
cites work: Game semantics for constructive modal logic
cites work: On Nested Sequents for Constructive Modal Logics
cites work: Modal logic
cites work: Models for normal intuitionistic modal logics
cites work: A modal extension of intuitionist logic
cites work: MIPC as the formalisation of an intuitionist concept of modality
cites work: The elimination theorem when modality is present
cites work: Q5884951
cites work: Intuitionistic tense and modal logic
cites work: On modal logic with an intuitionistic base
cites work: Q5793835
cites work: Nested sequents for intuitionistic logics
cites work: Modality and possibility in some intuitionistic modal logics
cites work: The consistency of arithmetics
cites work: Zur intuitionistischen Arithmetik und Zahlentheorie.
cites work: Q5144635
cites work: Q5111325
cites work: Proof analysis in modal logic
cites work: On some intuitionistic modal logics
cites work: Q3472079
cites work: A judgmental reconstruction of modal logic
cites work: Natural deduction rules for modal logics
cites work: Q3898472
cites work: Q3720564
cites work: Fitch-style rules for many modal logics
cites work: An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
cites work: Constructive modal logics. I
cites work: Q4948690
description: scientific article; zbMATH DE number 7850750