Browsing Radovi istraživača / Researcher's publications - Odeljenje za filozofiju by Subject "dynamic epistemic logic"
Now showing items 1-2 of 2
-
Multi-type display calculus for dynamic epistemic logic
(Oxford Univ Press, Oxford, 2016) -
A proof-theoretic semantic analysis of dynamic epistemic logic
(Oxford Univ Press, Oxford, 2016)