Publication details
ω-Forest Algebras and Temporal Logics
| Title in English | ?-Forest Algebras and Temporal Logics |
|---|---|
| Authors | |
| Year of publication | 2021 |
| Type | Article in Proceedings |
| Conference | 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia |
| MU Faculty or unit | |
| Citation | |
| web | https://drops.dagstuhl.de/opus/volltexte/2021/14459/ |
| Doi | https://doi.org/10.4230/LIPIcs.MFCS.2021.19 |
| Keywords | forest algebras; wreath products; temporal logics |
| Description | We use the algebraic framework for languages of infinite trees introduced in [A. Blumensath, 2020] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its counting variant cEF. |
| Related projects: |