scientific article; zbMATH DE number 7325814
From MaRDI portal
Publication:5855501
Recommendations
- Hybridized paracomplete and paraconsistent logics
- Paraconsistency in hybrid logic
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- scientific article; zbMATH DE number 2209330
- scientific article; zbMATH DE number 1269580
- On partial and paraconsistent logics
- Introduction: Paraconsistent logics
- scientific article; zbMATH DE number 1269574
- Hybrid logic and its proof-theory
- Taming paraconsistent (and other) logics: an algorithmic approach
Cited in
(8)- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- A tableau system for quasi-hybrid logic
- Paraconsistency in hybrid logic
- Inconsistency measures in hybrid logics
- Paraconsistent Transition Systems
- Structured specification of paraconsistent transition systems
- A four-valued hybrid logic with non-dual modal operators
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
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 Q5855501)
