Pages that link to "Item:Q4917078"
From MaRDI portal
The following pages link to A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078):
Displaying 7 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Public announcement logic in HOL (Q2055768) (← links)
- Public Announcements, Private Actions and Common Knowledge in S5 Structures (Q2859111) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- (Q5016796) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)