scientific article; zbMATH DE number 2084388
From MaRDI portal
Publication:4475142
Recommendations
- scientific article; zbMATH DE number 1512710
- On the expressivity and complexity of quantitative branching-time temporal logics
- scientific article; zbMATH DE number 2080198
- Branching-time logic with quantification over branches: The point of view of modal logic
- On the Complexity of Branching-Time Logics
- On quantified propositional logics and the exponential time hierarchy
- The decision problem for branching time logic
- Decision procedures and expressiveness in the temporal logic of branching time
- Propositional temporal logics: decidability and completeness
- Branching-Time Temporal Logics with Minimal Model Quantifiers
Cited in
(28)- Characterizing finite Kripke structures in propositional temporal logic
- R-generability, and definability in branching time logics
- On the expressivity and complexity of quantitative branching-time temporal logics
- Decision procedures and expressiveness in the temporal logic of branching time
- Definability and decidability of binary predicates for time granularity
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- QBF Encoding of Temporal Properties and QBF-Based Verification
- On the Notion of Vacuous Truth
- The decision problem for branching time logic
- Deciding full branching time logic
- scientific article; zbMATH DE number 4006233 (Why is no real title available?)
- Pure Logic with Branched Quantifiers
- On Non-local Propositional and Weak Monodic Quantified CTL*
- scientific article; zbMATH DE number 1512710 (Why is no real title available?)
- Parity Automata for Quantitative Linear Time Logics
- Expressiveness and succinctness of a logic of robustness
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Quantifying Bounds in Strategy Logic
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Completeness of a branching-time logic with possible choices
- QLTL model-checking
- Finitely defined preference and preference indiscernibility in ATL with strategy contexts
- Arbitrary-arity tree automata for QCTL
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- Augmenting ATL with strategy contexts
- Simple interpretations among complicated theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475142)
