D 2021

ω-Forest Algebras and Temporal Logics

BLUMENSATH, Achim a Jakub LÉDL

Základní údaje

Originální název

ω-Forest Algebras and Temporal Logics

Autoři

BLUMENSATH, Achim (276 Německo, garant, domácí) a Jakub LÉDL (203 Česká republika, domácí)

Vydání

Dagstuhl, Germany, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia, od s. 1-21, 21 s. 2021

Nakladatel

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Kód RIV

RIV/00216224:14330/21:00119652

Organizační jednotka

Fakulta informatiky

ISBN

978-3-95977-201-3

ISSN

DOI

Klíčová slova anglicky

forest algebras; wreath products; temporal logics

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2022 07:56, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

GA17-01035S, projekt VaV
Název: Algebraická teorie jazyků pro nekonečné stromy
Investor: Grantová agentura ČR, Algebraic Language Theory for Infinite Trees