Pages that link to "Item:Q3094018"
From MaRDI portal
The following pages link to Public Announcement Logic with Distributed Knowledge (Q3094018):
Displaying 13 items.
- On axiomatizations of public announcement logic (Q484925) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Group announcement logic (Q975877) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Public announcement logic in HOL (Q2055768) (← links)
- Public Announcements, Private Actions and Common Knowledge in S5 Structures (Q2859111) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- (Q4636028) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- (Q5016796) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)