Pages that link to "Item:Q1685570"

The following pages link to Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570):

Displayed 19 items.

• Routley star and hyperintensionality (Q830371) ‎ (← links)
• Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) ‎ (← links)
• Non-distributive relatives of ETL and NFL (Q2021563) ‎ (← links)
• A general framework for FDE-based modal logics (Q2027214) ‎ (← links)
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) ‎ (← 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)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) ‎ (← 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)
• Connexive Variants of Modal Logics Over FDE (Q5020173) ‎ (← links)
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) ‎ (← links)
• Tarskian consequence relations bilaterally: some familiar notions (Q6088596) ‎ (← links)
• Relation-changing models meet paraconsistency (Q6156935) ‎ (← links)