Pages that link to "Item:Q1896755"
From MaRDI portal
The following pages link to Tableaus for many-valued modal logic (Q1896755):
Displaying 20 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- Pure modal logic of names and tableau systems (Q1756600) (← links)
- Tableaus with invertible rules for many-valued modal propositional logics (Q1873250) (← links)
- \(q\)-bilattices (Q1948519) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Tableaux for some modal-tense logics Graham Priest's fashion (Q2144188) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Prefixed tableaus for three-valued modal propositional logics (Q2718775) (← links)
- Tableau methods for modal and temporal logics (Q2753601) (← links)
- A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it (Q3424135) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- (Q4012975) (← links)
- (Q4542599) (← links)
- (Q4724598) (← links)
