The following pages link to Merging DEL and ETL (Q616038):
Displaying 6 items.
- Logics of temporal-epistemic actions (Q516250) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- A logic for extensional protocols (Q2901223) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
