Temporal logics with language parameters

DOI10.1016/J.IC.2023.105087MaRDI QIDQ6186316zbMATH OpenFDO

Authors Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz

Publication date 2 February 2024

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IC.2023.105087

zbMATH Keywords

automata theoryformal languagesmodel checkingtemporal logicverification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A fixpoint calculus for local and global program flows
• Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
• Alternating automata: unifying truth and validity checking for temporal logics
• Branching-time logics with path relativisation
• Complexity results on branching-time pushdown model checking
• CONCUR 2004 - Concurrency Theory
• Deterministic context free languages
• First-Order and Temporal Logics for Nested Words
• scientific article; zbMATH DE number 2038753 (Why is no real title available?)
• scientific article; zbMATH DE number 2080056 (Why is no real title available?)
• scientific article; zbMATH DE number 1863182 (Why is no real title available?)
• Model checking LTL with regular valuations for pushdown systems
• Model checking propositional dynamic logic with all extras
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Operator precedence languages: their automata-theoretic and logic characterization
• Operator precedence temporal logic and model checking
• Propositional dynamic logic of looping and converse is elementarily decidable
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with recursive programs
• Results on the propositional \(\mu\)-calculus
• Temporal logic can be more expressive
• Temporal logics in computer science. Finite-state systems
• Temporal logics with language parameters
• The Complexity of Tree Automata and Logics of Programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Visibly linear dynamic logic
• Visibly linear temporal logic
• Visibly rational expressions

This page was built for publication: Temporal logics with language parameters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6186316)