Pages that link to "Item:Q484926"
From MaRDI portal
The following pages link to Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926):
Displaying 16 items.
- On axiomatizations of public announcement logic (Q484925) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Public Announcements, Private Actions and Common Knowledge in S5 Structures (Q2859111) (← 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)
- (Q5015382) (← links)
- (Q5016796) (← links)
- О трудностях определения имплицитного знания группы (Q5059704) (← links)
- Group Belief (Q5098739) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)
