Modal Operators over Constructive Logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 761280
- CONCUR 2004 - Concurrency Theory
- Modal logic over finite structures
- Bilattices and Modal Operators
- Logical connectives for constructive modal logic
- Constructive modal logics. I
- scientific article; zbMATH DE number 3841820
- scientific article; zbMATH DE number 5734940
- Structural operational semantics and modal logic, revisited
- Modal logic and model theory
Cited in
(18)- Structural operational semantics and modal logic, revisited
- Logical connectives for constructive modal logic
- On K-modal BL-logics
- Normal modal substructural logics with strong negation
- A general framework for FDE-based modal logics
- Schönfinkel-type operators for classical logic
- Abstract modal logics
- scientific article; zbMATH DE number 67510 (Why is no real title available?)
- Paraconsistent modal logics
- Paraconsistent constructive modal logic
- Kripke Completeness of First-Order Constructive Logics with Strong Negation
- Constructive modal logics. I
- scientific article; zbMATH DE number 4189694 (Why is no real title available?)
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- A Gödel-Artemov-style analysis of constructible falsity
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Bialgebraic methods and modal logic in structural operational semantics
This page was built for publication: Modal Operators over Constructive Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549311)
