Pages that link to "Item:Q1896755"
From MaRDI portal
The following pages link to Tableaus for many-valued modal logic (Q1896755):
Displaying 11 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- \(q\)-bilattices (Q1948519) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← 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)
- 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)
