The following pages link to (Q4219045):
Displaying 27 items.
- Symmetric Strategy Improvement (Q3449491) (← links)
- Containment of Monadic Datalog Programs via Bounded Clique-Width (Q3449494) (← links)
- Enriched μ–Calculus Pushdown Module Checking (Q3498485) (← links)
- An Infinite Automaton Characterization of Double Exponential Time (Q3540169) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- (Q4972731) (← links)
- (Q5015276) (← links)
- Satisfiability in a Temporal Multi-valueted Logic Based on Z (Q5068367) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- The Complexity of Flat Freeze LTL (Q5111647) (← links)
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
- (Q5232911) (← links)
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
- The Complexity of CTL* + Linear Past (Q5458359) (← links)
- Solving Parity Games in Big Steps (Q5458856) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- From linear temporal logics to Büchi automata: the early and simple principle (Q6041188) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)
- Formulas expressing totally nonstable truth values of formulas (Q6115007) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)
