Pages that link to "Item:Q1101436"
From MaRDI portal
The following pages link to Topology and duality in modal logic (Q1101436):
Displaying 23 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Semi-metrics, closure spaces and digital topology (Q671997) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- Stone coalgebras (Q703523) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator (Q1016093) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- Dualities for modal algebras from the point of view of triples (Q2351511) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
