Pages that link to "Item:Q516250"
From MaRDI portal
The following pages link to Logics of temporal-epistemic actions (Q516250):
Displaying 6 items.
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
