Temporal logics with language parameters

DOI10.1007/978-3-030-68195-1_14OpenAlexW3135069097MaRDI QIDQ2232279

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

Publication date: 4 October 2021

Full work available at URL: https://arxiv.org/abs/1910.11594

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Temporal logics with language parameters

Cites Work

• Unnamed Item
• Propositional dynamic logic of regular programs
• Visibly linear dynamic logic
• Model checking propositional dynamic logic with all extras
• Propositional dynamic logic with recursive programs
• Temporal Logics in Computer Science
• Temporal logic can be more expressive
• Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
• Visibly pushdown languages
• The Complexity of Tree Automata and Logics of Programs
• Extended Computation Tree Logic
• Tools and Algorithms for the Construction and Analysis of Systems

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