Augmenting branching temporal logics with existential quantification over atomic propositions
From MaRDI portal
Publication:4242583
DOI10.1093/logcom/9.2.135zbMath0942.68072OpenAlexW2082808848MaRDI QIDQ4242583
Publication date: 20 June 1999
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/9.2.135
Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (7)
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ The power of first-order quantification over states in branching and linear time temporal logics ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Sublogics of a branching time logic of robustness ⋮ Unnamed Item ⋮ Quantifying Bounds in Strategy Logic ⋮ Quantified computation tree logic
This page was built for publication: Augmenting branching temporal logics with existential quantification over atomic propositions
