The following pages link to Public announcement logic in HOL (Q2055768):
Displaying 6 items.
- Group announcement logic (Q975877) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- (Q5016796) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- Public Announcement Logic in HOL (Q6350369) (← links)