Pages that link to "Item:Q1101436"
From MaRDI portal
The following pages link to Topology and duality in modal logic (Q1101436):
Displaying 50 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Modes of adjointness (Q484110) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← 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)
- A topos-theoretic approach to reference and modality (Q1182706) (← 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)
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics (Q1405891) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- Completeness theorems via the double dual functor (Q1970592) (← links)
- Topological duality for intuitionistic modal algebras (Q1977898) (← links)
- Simplified Kripke-style semantics for some normal modal logics (Q2186691) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- Dualities for modal algebras from the point of view of triples (Q2351511) (← links)
- Maps and monads for modal frames (Q2433103) (← 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)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- (Q3509066) (← links)
- The topology of justification (Q3534982) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
- (Q3784048) (← links)
- (Q3978987) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- Some Connections between Topological and Modal Logic (Q4323831) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- A new proof of Sahlqvist's theorem on modal definability and completeness (Q4731170) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- (Q5214813) (← links)
- Subordination Tarski algebras (Q5231280) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Cardinal spaces and topological representations of bimodal logics (Q5697718) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
- Monoidal extended stone duality (Q6629456) (← links)
