scientific article; zbMATH DE number 7577568
From MaRDI portal
Publication:5101337
Recommendations
- Duality for instantial neighbourhood logic via coalgebra
- Duality between modal algebras and neighbourhood frames
- A coalgebraic view of Heyting duality
- Generalized dual coalgebras of algebras, with applications to cofree coalgebras
- Dual adjunctions between algebras and coalgebras
- Colby-Fuller duality between coalgebras
- Coalgebraic logics \& duality
- scientific article; zbMATH DE number 3920700
- scientific article; zbMATH DE number 7471716
- A comonadic account of behavioural covarieties of coalgebras
Cites work
- _1-completions of a poset.
- A coalgebraic perspective on monotone modal logic
- A new proof of Sahlqvist's theorem on modal definability and completeness
- Algebra and Coalgebra in Computer Science
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- An algebraic theory of normal forms
- An extension of de Vries duality to completely regular spaces and compactifications
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Categories of frames for modal logic
- Coalgebraic semantics of modal logics: an overview
- Domain theory in logical form
- Duality and Equational Theory of Regular Languages
- Duality between modal algebras and neighbourhood frames
- Duality for \(\kappa\)-additive complete atomic modal algebras
- Duality in computer science
- Duality in logic and computation (invited paper)
- Generalized topology, generalized continuity
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 5289973 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3461905 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 1735870 (Why is no real title available?)
- scientific article; zbMATH DE number 1770056 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 7471716 (Why is no real title available?)
- scientific article; zbMATH DE number 3228406 (Why is no real title available?)
- scientific article; zbMATH DE number 3280049 (Why is no real title available?)
- Infinite Boolean polynomials I
- Introduction to coalgebra. Towards mathematics of states and observation
- Minimization via duality
- Modal logic
- Neighborhood contingency logic
- Neighborhood semantics for modal logic
- Neighbourhood Contingency Bisimulation
- On the non-existence of free complete Boolean algebras
- Raney algebras and duality for T₀-spaces
- Remarks on predicate logic with infinitely long expressions
- Stable canonical rules
- Stable modal logics
- Stone coalgebras
- Stone duality for Markov processes
- Stone duality, topological algebra, and recognition.
- The algebra of topology
- The Basic Concepts of Algebraic Logic
- The sentential calculus with infinitely long expressions
- The Theory of Representation for Boolean Algebras
- Topo-canonical completions of closure algebras and Heyting algebras
- Universal coalgebra: A theory of systems
- Universal grammar
Cited in
(5)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101337)
