Pages that link to "Item:Q705532"
From MaRDI portal
The following pages link to A Sahlqvist theorem for distributive modal logic (Q705532):
Displayed 10 items.
- Generalized Kripke frames (Q863180) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Complete congruences on topologies and down-set lattices (Q2642570) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- (Q5472326) (← links)