Pregled Radovi istraživača / Researcher's publications - Odeljenje za filozofiju tema: "dynamic epistemic logic"
Prikaz rezultata 1-2 od 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)