Pages that link to "Item:Q3580668"

The following pages link to MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668):

Displaying 31 items.

• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
• A family of Gödel hybrid logics (Q631082) (← links)
• Routley star and hyperintensionality (Q830371) (← links)
• Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
• Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
• A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
• Expressivity in chain-based modal logics (Q1745356) (← 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)
• Non-distributive relatives of ETL and NFL (Q2021563) (← links)
• Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
• A general framework for FDE-based modal logics (Q2027214) (← links)
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
• Decidability of order-based modal logics (Q2361346) (← links)
• Retracted article: ``A completeness theorem for continuous predicate modal logic'' (Q2408087) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• Many-valued modal logics: Uses and predicate calculus (Q3032229) (← links)
• A Modal Logic for Multiple-Source Tolerance Approximation Spaces (Q3063975) (← links)
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice (Q3097868) (← links)
• (Q3165670) (← links)
• On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
• Modelling inexact utility theory in a multi-valued logic of approximation (Q3775526) (← links)
• Many-valued modal logics (Q3989936) (← links)
• (Q4329272) (← links)
• (Q4542619) (← links)
• Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
• (Q4603449) (← links)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• Many-valued modalities and paraconsistency (Q6623951) (← links)