Pages that link to "Item:Q3520235"
From MaRDI portal
The following pages link to Sum and Product in Dynamic Epistemic Logic (Q3520235):
Displaying 9 items.
- Merging DEL and ETL (Q616038) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- A note on the wise girls puzzle (Q1349271) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- A polynomial-time approximation scheme for the airplane refueling problem (Q2327962) (← links)
- Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← 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)