Pages that link to "Item:Q5271081"
From MaRDI portal
The following pages link to Kripke Semantics for Modal Bilattice Logic (Q5271081):
Displayed 17 items.
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Implicative twist-structures (Q2449455) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Epistemic Updates on Bilattices (Q3457727) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)