The following pages link to Three-valued logics in modal logic (Q383567):
Displaying 27 items.
- Medium logic and Woodruff's three-valued logic (Q920979) (← links)
- Some modal logics based on a three-valued logic (Q1115854) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- Three-valued derived logics for classical phase spaces (Q1910876) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- Translation from three-valued quantum logic to modal logic (Q2241025) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- Prefixed tableaus for three-valued modal propositional logics (Q2718775) (← links)
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property (Q2971281) (← links)
- (Q3123377) (← links)
- Relationships between Connectives in Three-Valued Logics (Q3143148) (← links)
- Respects for Contradictions (Q3305658) (← links)
- Game Theoretical Semantics for Paraconsistent Logics (Q3457682) (← links)
- (Q3979210) (← links)
- The cylindric algebras of three-valued logic (Q4254678) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)
- A Correspondence Between Variable Relations And Three-Valued Propositional Logic (Q4847155) (← links)
- (Q4900321) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- Conservative translations of four-valued logics in modal logic (Q6067103) (← links)
- Varieties of entailment: introduction to the special issue (Q6088595) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
