Detailed Information on Publication Record
2021
ω-Forest Algebras and Temporal Logics
BLUMENSATH, Achim and Jakub LÉDLBasic 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
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
References:
RIV identification code
RIV/00216224:14330/21:00119652
Organization unit
Faculty of Informatics
ISBN
978-3-95977-201-3
ISSN
Keywords in English
forest algebras; wreath products; temporal logics
Tags
Tags
International impact, Reviewed
Změněno: 28/4/2022 07:56, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
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 |
|