The following pages link to (Q4049062):
Displaying 50 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Forbidden configurations and subframe varieties (Q331025) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Reconstructing an open order from its closure, with applications to space-time physics and to logic (Q454373) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Cofinal stable logics (Q514517) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- Connected modal logics (Q535140) (← links)
- Generalized Priestley quasi-orders (Q634744) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Stone coalgebras (Q703523) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Profinite Heyting algebras (Q953270) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Around provability logic (Q1035652) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Restricted Priestley dualities and discriminator varieties (Q1680521) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Duality between modal algebras and neighbourhood frames (Q1825863) (← links)
- Pro-finite MV-spaces (Q1827771) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- A categorical duality for semilattices and lattices (Q2024927) (← links)
- A categorical duality for algebras of partial functions (Q2031546) (← links)
- Prelinear Hilbert algebras (Q2035275) (← links)
