Pages that link to "Item:Q5377700"
From MaRDI portal
The following pages link to A public announcement separation logic (Q5377700):
Displaying 8 items.
- Group announcement logic (Q975877) (← links)
- Public announcement logic in HOL (Q2055768) (← 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)
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT (Q5414136) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)