research
∙
07/11/2023
Comparing the Update Expressivity of Communication Patterns and Action Models
Any kind of dynamics in dynamic epistemic logic can be represented as an...
research
∙
07/02/2022
Communication Pattern Logic: Epistemic and Topological Views
We propose communication pattern logic. A communication pattern describe...
research
∙
06/22/2021