The following pages link to Stone coalgebras (Q703523):
Displaying 42 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Enriched Stone-type dualities (Q1644968) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- The Vietoris functor and modal operators on rings of continuous functions (Q2238128) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← 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)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces (Q4563236) (← links)
- (Q4580326) (← links)
- (Q5015268) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- (Q5028485) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- (Q5101337) (← links)
- (Q5111325) (← links)
- (Q5214813) (← links)
- (Q5228883) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- (Q5875347) (← links)
