The following pages link to (Q2901198):
Displaying 34 items.
- Hoop twist-structures (Q334145) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Modal multilattice logic (Q1682294) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← 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)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- Product representation for default bilattices: an application of natural duality theory. (Q2259193) (← links)
- Implicative twist-structures (Q2449455) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← 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)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)