Pages that link to "Item:Q1036059"
From MaRDI portal
The following pages link to Dynamic epistemic logic with branching temporal structures (Q1036059):
Displayed 5 items.
- Merging DEL and ETL (Q616038) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Logics of Rational Interaction (Q2902939) (← links)