English

$\omega$-Forest Algebras and Temporal Logics

Logic in Computer Science 2022-03-29 v1
Authors: Achim Blumensath , Jakub Lédl
View on arXiv ↗ PDF ↗

Abstract

We use the algebraic framework for languages of infinite trees introduced in [4] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its counting variant cEF.

Keywords

modal logic first-order logic sequent calculus

Cite

@article{arxiv.2203.13858,
  title  = {$\omega$-Forest Algebras and Temporal Logics},
  author = {Achim Blumensath and Jakub Lédl},
  journal= {arXiv preprint arXiv:2203.13858},
  year   = {2022}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Wreath Products of Forest Algebras, with Applications to Tree Logics
Mikolaj Bojanczyk, Igor Walukiewicz, Howard Straubing
2015-07-01
Logic in Computer Science · Computer Science
EF+EX Forest Algebras
Andreas Krebs, Howard Straubing
2014-08-06
Logic in Computer Science · Computer Science
Two-Way Unary Temporal Logic over Trees
Mikolaj Bojanczyk
2015-07-01
Formal Languages and Automata Theory · Computer Science
Algebraic Characterization of Forest Logics
Kitti Gelle, Szabolcs Ivan
2017-02-16
Logic in Computer Science · Computer Science
An Automaton-based Characterisation of First-Order Logic over Infinite Trees
Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero +1
2025-09-18
Logic in Computer Science · Computer Science
Metric Temporal Logic with Counting
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh Pandya
2015-12-31
Logic in Computer Science · Computer Science
Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange +1
2015-05-19
Logic in Computer Science · Computer Science
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024-04-30
Logic in Computer Science · Computer Science
Temporal Logics with Language Parameters
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
2019-10-28
Programming Languages · Computer Science
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2007-05-23
Logic in Computer Science · Computer Science
A Logical Framework with Infinitary Terms
Zhibo Chen
2023-12-12
Logic in Computer Science · Computer Science
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
2014-04-04
Data Structures and Algorithms · Computer Science
Problems parameterized by treewidth tractable in single exponential time: a logical approach
Michał Pilipczuk
2011-04-18
Formal Languages and Automata Theory · Computer Science
Some connections between universal algebra and logics for trees
Mikołaj Bojańczyk, Henryk Michalewski
2017-03-16
Operator Algebras · Mathematics
Partial Translation Algebras for Trees
J. Brodzki, G. A. Niblo, N. J. Wright
2008-04-04
Logic in Computer Science · Computer Science
Cycle Detection in Computation Tree Logic
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1
2016-09-15
Logic in Computer Science · Computer Science
Alternating Nonzero Automata
Paulin Fournier, Hugo Gimbert
2018-02-13
Logic in Computer Science · Computer Science
Quantifying over Trees in Monadic Second-Order Logic
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023-04-25
Formal Languages and Automata Theory · Computer Science
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Preugschat Sebastian, Thomas Wilke
2015-07-01
Formal Languages and Automata Theory · Computer Science
Proving that a Tree Language is not First-Order Definable
Martin Beaudry
2018-12-06
Logic · Mathematics
Space and time via Topological and Tense cylindric algebras
Tarek Sayed Ahmed
2020-06-08
Logic in Computer Science · Computer Science
Forest Categories
Howard Straubing
2018-01-16
Logic in Computer Science · Computer Science
Automaton-based Characterisations of First Order Logic over Infinite Trees
Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero +1
2026-04-30
Logic · Mathematics
Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
Tarek Sayed Ahmed
2014-02-26
Logic in Computer Science · Computer Science
Efficient First-Order Temporal Logic for Infinite-State Systems
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007-05-23
R2 v1 2026-06-24T10:26:23.776Z