On Free $\omega$-Continuous and Regular Ordered Algebras
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of this form are called \emph{quasi-regular}. For example, we sh...
Main Authors: | Zoltan Esik, Dexter Kozen |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2019-10-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/2586/pdf |
Similar Items
-
Natural Transformations as Rewrite Rules and Monad Composition
by: Dexter Kozen
Published: (2019-01-01) -
A coalgebraic take on regular and $\omega$-regular behaviours
by: Tomasz Brengos
Published: (2021-12-01) -
Continuous Regular Functions
by: Alexi Block Gorman, et al.
Published: (2020-02-01) -
Algorithms for Omega-Regular Games with Imperfect Information
by: Krishnendu Chatterjee, et al.
Published: (2007-07-01) -
An $\omega$-Algebra for Real-Time Energy Problems
by: David Cachera, et al.
Published: (2019-05-01)