The following pages link to A Reduction from DLP to PDL (Q3374102):
Displaying 5 items.
- Connectivity games over dynamic networks (Q391110) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- A Game Theoretic Approach to the Analysis of Dynamic Networks (Q2864354) (← links)
- Dynamic logic of preference upgrade (Q3647268) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
