Pages that link to "Item:Q3520235"
From MaRDI portal
The following pages link to Sum and Product in Dynamic Epistemic Logic (Q3520235):
Displaying 7 items.
- Merging DEL and ETL (Q616038) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- A polynomial-time approximation scheme for the airplane refueling problem (Q2327962) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)
