Pages that link to "Item:Q1784942"

The following pages link to CTL\(^\ast\) with graded path modalities (Q1784942):

Displaying 9 items.

• Logics in computer science. A study on extensions of temporal and strategic logics (Q357126) (← links)
• Sublogics of a branching time logic of robustness (Q1740655) (← links)
• Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
• Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
• Graded computation tree logic (Q2946674) (← links)
• Model Checking for Graded CTL (Q3400570) (← links)
• On CTL* with Graded Path Modalities (Q3460061) (← links)
• CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
• Graded Alternating-Time Temporal Logic (Q5894193) (← links)