Преглед Filozofija / Philosophy аутора: "Palmigiano, Alessandra"
Приказ резултата 1-2 од 2
-
Multi-type display calculus for dynamic epistemic logic
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta (Oxford Univ Press, Oxford, 2016) -
A proof-theoretic semantic analysis of dynamic epistemic logic
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta (Oxford Univ Press, Oxford, 2016)