Pages that link to "Item:Q1115854"
From MaRDI portal
The following pages link to Some modal logics based on a three-valued logic (Q1115854):
Displaying 18 items.
- Three-valued logics in modal logic (Q383567) (← links)
- Medium logic and Woodruff's three-valued logic (Q920979) (← links)
- Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (Q1409305) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- Prefixed tableaus for three-valued modal propositional logics (Q2718775) (← links)
- Three-valued propositional dynamic logic (Q2737566) (← links)
- (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics (Q2903755) (← links)
- (Q3123377) (← links)
- Many-Valued Modal Propositional Calculi (Q3809770) (← links)
- On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief (Q5504123) (← links)
- The hilbert type axiomatization of some three‐valued propositional logic (Q5752544) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)