Преглед Radovi istraživača / Researcher's publications - Odeljenje za filozofiju тема: "dynamic epistemic logic"
Приказ резултата 1-2 од 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)