Informace o publikaci
ω-Forest Algebras and Temporal Logics
| Autoři | |
|---|---|
| Rok publikování | 2021 |
| Druh | Článek ve sborníku |
| Konference | 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://drops.dagstuhl.de/opus/volltexte/2021/14459/ |
| Doi | https://doi.org/10.4230/LIPIcs.MFCS.2021.19 |
| Klíčová slova | forest algebras; wreath products; temporal logics |
| Popis | 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. |
| Související projekty: |