The following pages link to Axioms for Branching Time (Q5894818):
Displaying 17 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Transition semantics for branching time (Q302231) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- A note about the axioms for branching-time logic (Q1203784) (← links)
- Some considerations on branching areas of time (Q1285867) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Which branching-time properties are effectively linear? (Q2720312) (← links)
- Prediction in branching time logic (Q2720329) (← links)
- The master argument and branching time (Q2741224) (← links)
- A Tableau for Bundled Strategies (Q3455759) (← links)
- (Q4797422) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Correct Hardware Design and Verification Methods (Q5897075) (← links)
