The following pages link to Maps and monads for modal frames (Q2433103):
Displaying 7 items.
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Rigid frame maps and Booleanization. (Q500950) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Topological duality for intuitionistic modal algebras (Q1977898) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Modal logics withn-ary connectives (Q3352996) (← links)