Search
Now showing items 1-1 of 1
Multi-type display calculus for dynamic epistemic logic
(Oxford Univ Press, Oxford, 2016)
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic ...