Quantifiers on languages and codensity monads
This paper contributes to the techniques of topoalgebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various kinds of quantifiers and prove a related Reute...
Autors principals: | Gehrke, M, Petrişan, D, Reggio, L |
---|---|
Format: | Conference item |
Idioma: | English |
Publicat: |
IEEE
2017
|
Ítems similars
-
Quantifiers on languages and codensity monads
per: Gehrke, M, et al.
Publicat: (2021) -
Codensity Lifting of Monads and its Dual
per: Shin-ya Katsumata, et al.
Publicat: (2018-10-01) -
Codensity, profiniteness and algebras of semiring-valued measures
per: Reggio, L
Publicat: (2019) -
Codensity games for bisimilarity
per: Komorida, Y, et al.
Publicat: (2022) -
Companions, Causality and Codensity
per: Damien Pous, et al.
Publicat: (2019-08-01)