The following pages link to (Q4207567):
Displayed 5 items.
- Branching versus linear logics yet again (Q911747) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- Axiomatising extended computation tree logic (Q5878903) (← links)