On intuitionistic diamonds (and lack thereof)
From MaRDI portal
Publication:6541158
Cites work
- 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?)
- 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
- 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.
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)
