scientific article; zbMATH DE number 3706414
From MaRDI portal
Publication:3898472
Cited in
(28)- Propositional lax logic
- Fibrational modal type theory
- On graphs for intuitionistic modal logics
- Terminating calculi and countermodels for constructive modal logics
- Ontological argument and infinity in Spinoza's thought
- Intuitionistic conditional logics
- Hennessy-Milner properties via topological compactness
- On displaying negative modalities
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Modal meet-implication logic
- On the Blok-Esakia theorem
- On intuitionistic diamonds (and lack thereof)
- An intuitionistically complete system of basic intuitionistic conditional logic
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- A basic system of paraconsistent Nelsonian logic of conditionals.
- Justification logic for intuitionistic modal logic
- Two-dimensional Kripke semantics i: presheaves
- Paraconsistent constructive modal logic
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Modal weak Kleene logics: axiomatizations and relational semantics
- Minimal modal logics, constructive modal logics and their relations
- Local intuitionistic modal logics and their calculi
- A simple loopcheck for intuitionistic K
- Truthmaker semantics for intuitionistic modal logic
- Intuitionistic monotone modal logic via translation
- Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
- Constructive modal logics. I
- Intuitionistic non-normal modal logics: a general framework
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3898472)
