Pages that link to "Item:Q2987046"

The following pages link to Four-valued modal logic: Kripke semantics and duality (Q2987046):

Displaying 32 items.

• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
• Motivation and demotivation of a four-valued logic (Q920963) (← links)
• A four-valued semantics for terminological logics (Q1115428) (← links)
• Four-valued logic (Q1422105) (← links)
• Compositional meaning in logic (Q1682292) (← links)
• Modal multilattice logic (Q1682294) (← links)
• 40 years of FDE: an introductory overview (Q1685563) (← links)
• Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
• ``Four-valued'' semantics for the relevant logic R (Q1876086) (← links)
• Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
• Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← 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)
• Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
• A duality for two-sorted lattices (Q2156992) (← links)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
• Belnap-Dunn modal logic with value operators (Q2243547) (← links)
• Bilattice logic properly displayed (Q2328914) (← links)
• Lattices of four-valued modal logics (Q2804044) (← links)
• A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
• Modal logics with Belnapian truth values (Q2901198) (← links)
• (Q3086715) (← links)
• On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
• On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
• PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
• Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
• (Q5169613) (← links)
• Structured specification of paraconsistent transition systems (Q6536437) (← links)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• A logic for paraconsistent transition systems (Q6659915) (← links)