The following pages link to A Tableau for Bundled CTL (Q3437260):
Displaying 11 items.
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- To be fair, use bundles (Q2408744) (← links)
- A Rooted Tableau for BCTL* (Q2825414) (← links)
- Decidability and Expressivity of Ockhamist Propositional Dynamic Logics (Q2835868) (← links)
- Branching Time? Pruning Time! (Q2908510) (← links)
- A History of Until (Q3185767) (← links)
- A Tableau for Bundled Strategies (Q3455759) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- A natural deduction system for bundled branching time logic (Q4583318) (← links)
