The following pages link to Dynamic Epistemic Temporal Logic (Q3655234):
Displaying 10 items.
- Logics of temporal-epistemic actions (Q516250) (← links)
- Merging DEL and ETL (Q616038) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- (Q3384067) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
