Pages that link to "Item:Q2027214"
From MaRDI portal
The following pages link to A general framework for FDE-based modal logics (Q2027214):
Displaying 8 items.
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- Generalised modal realisation as a practical and efficient tool for FWL implementation (Q3015116) (← links)
- FDE as a Base for Constructive Logic (Q3305615) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)