The following pages link to (Q3989936):
Displayed 17 items.
- Natural duality, modality, and coalgebra (Q418910) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Extended quantum logic (Q1411360) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Characterisation of main classes of fuzzy relations using fuzzy modal operators (Q2486052) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- A Direct Algorithm for Multi-valued Bounded Model Checking (Q3540066) (← 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)