Pages that link to "Item:Q4925178"
From MaRDI portal
The following pages link to Connecting dynamic epistemic and temporal epistemic logics (Q4925178):
Displaying 9 items.
- A Logic for Belief Contraction (Q2938533) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- A separation logic with histories of epistemic actions as resources (Q6118687) (← links)
- Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605) (← links)