Pages that link to "Item:Q1036059"
From MaRDI portal
The following pages link to Dynamic epistemic logic with branching temporal structures (Q1036059):
Displayed 9 items.
- Information dynamics and uniform substitution (Q484920) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- 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)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- A Computational Learning Semantics for Inductive Empirical Knowledge (Q5249674) (← links)