Conference item
Quantifiers on languages and codensity monads
- Abstract:
- 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 Reutenauer-type theorem. Our main tools are codensity monads and duality theory. Our construction yields, in particular, a new characterisation of the profinite monad of the free S-semimodule monad for finite and commutative semirings S, which generalises our earlier insight that the Vietoris monad on Boolean spaces is the codensity monad of the finite powerset functor.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, 420.8KB, Terms of use)
-
- Publisher copy:
- 10.1109/LICS.2017.8005140
Authors
- Publisher:
- IEEE
- Host title:
- Proceedings - Symposium on Logic in Computer Science
- Journal:
- Annual Symposium on Logic in Computer Science More from this journal
- Pages:
- 1-12
- Publication date:
- 2017-08-08
- Acceptance date:
- 2017-02-15
- Event title:
- 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- Event location:
- Reykjavík, Iceland
- Event start date:
- 2017-06-20
- Event end date:
- 2017-06-23
- DOI:
- ISSN:
-
1043-6871
- EISBN:
- 978-1-5090-3018-7
- ISBN:
- 978-1-5090-3019-4
- Language:
-
English
- Keywords:
- Pubs id:
-
1113014
- Local pid:
-
pubs:1113014
- Deposit date:
-
2020-06-18
Terms of use
- Copyright holder:
- European Union
- Copyright date:
- 2017
- Rights statement:
- © 2017 European Union
- Notes:
- This paper was presented at the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20th - 23rd June 2017, Reykjavík, Iceland. This is the accepted manuscript version of the article. The final version is available from IEEE Xplore at: https://doi.org/10.1109/LICS.2017.8005140
If you are the owner of this record, you can report an update to it here: Report update to this record