Recommendations
Cites work
- scientific article; zbMATH DE number 1688389 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3554258 (Why is no real title available?)
- scientific article; zbMATH DE number 1314223 (Why is no real title available?)
- scientific article; zbMATH DE number 1735883 (Why is no real title available?)
- scientific article; zbMATH DE number 1049043 (Why is no real title available?)
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- scientific article; zbMATH DE number 1497882 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 2087424 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A Calculus of Terms for Coalgebras of Polynomial Functors
- A Cook's tour of the finitary non-well-founded sets
- A coalgebraic view of Heyting duality
- A domain equation for bisimulation
- A hierarchy of probabilistic system types
- Coalgebraic logic
- Coalgebraic modal logic of finite rank
- Coalgebraic semantics for positive modal logic
- Domain theory in logical form
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Modal logic
- Modal predicates and coequations
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- The Order Structure of Stone Spaces and the TD‐Separation Axiom
- Topologies on Spaces of Subsets
- Topology and duality in modal logic
- Universal coalgebra: A theory of systems
Cited in
(54)- A ghost at \(\omega_1\)
- Dualities for modal algebras from the point of view of triples
- Bisimulations for coalgebras on Stone spaces
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- Saturated Kripke structures as Vietoris coalgebras
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
- A modal proof theory for final polynomial coalgebras
- Stone coalgebras
- Natural duality, modality, and coalgebra
- scientific article; zbMATH DE number 7471716 (Why is no real title available?)
- scientific article; zbMATH DE number 970634 (Why is no real title available?)
- On a categorical framework for coalgebraic modal logic
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- Coalgebraic logic over measurable spaces: behavioral and logical equivalence
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- Profiniteness and representability of spectra of Heyting algebras
- Coalgebras and modal expansions of logics
- Enriched Stone-type dualities
- The Vietoris functor and modal operators on rings of continuous functions
- Many-valued coalgebraic logic over semi-primal varieties
- Coalgebraic representations of distributive lattices with operators
- Coalgebraic semantics of modal logics: an overview
- Stone dualities from opfibrations
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- Esakia duality and its extensions
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Vietoris bisimulations
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Probabilistic logics based on Riesz spaces
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- Positive monotone modal logic
- Monoidal extended stone duality
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
- Coalgebraic logics \& duality
- The enriched Vietoris monad on representable spaces
- Remarks on hyperspaces for Priestley spaces
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- Games for topological fixpoint logic
- scientific article; zbMATH DE number 7093560 (Why is no real title available?)
- Modal logic and the Vietoris functor
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- On monotone modalities and adjointness
- Coalgebraic Geometric Logic: Basic Theory
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Foundations of Software Science and Computational Structures
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
- Hausdorff coalgebras
- Limits in categories of Vietoris coalgebras
- scientific article; zbMATH DE number 7649890 (Why is no real title available?)
- Stone Dualities from Opfibrations
This page was built for publication: Stone coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703523)