The following pages link to An axiomatization of PCTL* (Q2566222):
Displayed 4 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)