The following pages link to (Q5477946):
Displayed 5 items.
- Information dynamics and uniform substitution (Q484920) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)