Alberto Naibo
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Proof theory of epistemic logic of programs Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 3 / s. 301 - 3282014CZYSTY TEKST
Paolo Maffezioli, Alberto Naibo, Proof theory of epistemic logic of programs, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 3, s. 301 - 328
BIBTEX@Article{ authors = " Paolo Maffezioli, Alberto Naibo", title = "Proof theory of epistemic logic of programs", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 3", pages = "301 - 328" }
