Pages that link to "Item:Q432138"
From MaRDI portal
The following pages link to A tableau-based decision procedure for CTL\(^*\) (Q432138):
Displaying 14 items.
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) (← links)
- To be fair, use bundles (Q2408744) (← links)
- A rooted tableau for \(\mathrm{BCTL}^*\) (Q2825414) (← links)
- TATL: Implementation of ATL Tableau-Based Decision Procedure (Q2851937) (← links)
- SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics (Q2880609) (← links)
- A Tableau for Bundled CTL (Q3437260) (← links)
- A Tableau for Bundled Strategies (Q3455759) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703761) (← links)
- CTL with finitely bounded semantics (Q6487463) (← links)
