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
(22)- Bialgebraic methods and modal logic in structural operational semantics
- Normal modal substructural logics with strong negation
- A Gödel-Artemov-style analysis of constructible falsity
- Abstract modal logics
- A general framework for FDE-based modal logics
- Paraconsistent modal logics
- Structural operational semantics and modal logic, revisited
- On K-modal BL-logics
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- scientific article; zbMATH DE number 4204322 (Why is no real title available?)
- scientific article; zbMATH DE number 67510 (Why is no real title available?)
- scientific article; zbMATH DE number 1140579 (Why is no real title available?)
- Kripke Completeness of First-Order Constructive Logics with Strong Negation
- Displaying the modal logic of consistency
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
- scientific article; zbMATH DE number 4189694 (Why is no real title available?)
- Paraconsistent constructive modal logic
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- Queries with exact truth values on concept and role atoms in paraconsistent description logics
- Constructive modal logics. I
- Logical connectives for constructive modal logic
- Schönfinkel-type operators for classical logic
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)
