ω-Forest Algebras and Temporal Logics

BLUMENSATH, Achim and Jakub LÉDL. ω-Forest Algebras and Temporal Logics. Online. In Filippo Bonchi, Simon J. Puglisi. 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 1-21. ISBN 978-3-95977-201-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19.

Basic information

• Original name: ω-Forest Algebras and Temporal Logics
• Authors: BLUMENSATH, Achim (276 Germany, guarantor, belonging to the institution) and Jakub LÉDL (203 Czech Republic, belonging to the institution).
• Edition: Dagstuhl, Germany, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia, p. 1-21, 21 pp. 2021.
• Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• Publication form: electronic version available online
• WWW: URL
• RIV identification code: RIV/00216224:14330/21:00119652
• Organization unit: Faculty of Informatics
• ISBN: 978-3-95977-201-3
• ISSN: 1868-8969
• Doi: http://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19
• Keywords in English: forest algebras; wreath products; temporal logics
• Tags: core_A, firank_A, formela-aut
• Tags: International impact, Reviewed

Abstract

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.

Links

• GA17-01035S, research and development project: Name: Algebraická teorie jazyků pro nekonečné stromy

Investor: Czech Science Foundation