Temporal logics with language parameters

DOI10.1007/978-3-030-68195-1_14MaRDI QIDQ2232279zbMATH OpenOpenAlexFDO

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

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)

Cites work

• scientific article; zbMATH DE number 1705163 (Why is no real title available?)
• Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
• Extended computation tree logic
• Model checking propositional dynamic logic with all extras
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with recursive programs
• Temporal logic can be more expressive
• Temporal logics in computer science. Finite-state systems
• The Complexity of Tree Automata and Logics of Programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Visibly linear dynamic logic
• Visibly pushdown languages

Cited in

(7)

• Temporal Assertions with Parametrized Propositions
• Syntax and semantics for a fuzzy temporal constraint logic
• Temporal logics on words with multiple data values
• Hybrid languages and temporal logic
• Temporal logics with language parameters
• Model Theoretic Syntax and Parsing
• scientific article; zbMATH DE number 1502114 (Why is no real title available?)

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 Q2232279)