Pages that link to "Item:Q3769957"

The following pages link to The complexity of propositional linear temporal logics (Q3769957):

Displaying 50 items.

• LTL over integer periodicity constraints (Q2503321) (← links)
• First-order logic with two variables and unary temporal logic (Q2506493) (← links)
• A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
• Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
• Relating word and tree automata (Q2576943) (← links)
• Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
• Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
• Cooperative concurrent games (Q2680769) (← links)
• Partial cut elimination for propositional discrete linear time temporal logic (Q2810015) (← links)
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
• Expressiveness of hybrid temporal logic on data words (Q2825412) (← links)
• Past is for free: on the complexity of verifying linear temporal properties with past (Q2842605) (← links)
• Weak completeness theorem for propositional linear time temporal logic (Q2852161) (← links)
• Some modal aspects of XPath (Q2901192) (← links)
• Branching Time? Pruning Time! (Q2908510) (← links)
• Satisfaction degree for a class of temporal logic formulae based on transition systems (Q2924071) (← links)
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
• The Complexity of Counting Models of Linear-time Temporal Logic (Q2978517) (← links)
• Deciding Robustness against Total Store Ordering (Q3012938) (← links)
• A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
• Weak Kripke Structures and LTL (Q3090846) (← links)
• Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← links)
• Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
• Size-Change Termination and Satisfiability for Linear-Time Temporal Logics (Q3172880) (← links)
• Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
• Automata Theory and Model Checking (Q3176362) (← links)
• Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
• Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
• The Birth of Model Checking (Q3512430) (← links)
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
• From Philosophical to Industrial Logics (Q3601803) (← links)
• Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
• Matching Trace Patterns with Regular Policies (Q3618572) (← links)
• THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ (Q3646173) (← links)
• Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
• Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
• Classifying the computational complexity of problems (Q3781088) (← links)
• On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
• (Q4412853) (← links)
• Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
• A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
• A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
• Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic (Q4639929) (← links)
• Search strategies for resolution in temporal logics (Q4647556) (← links)
• (Q4972740) (← links)
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
• The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126) (← links)