Motohiko Mouri
3 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Theorem Provers with Countermodels and xpe Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 79 - 87ROK: 2001CZYSTY TEKSTBIBTEX
-
Constructing Counter-Models for Modal Logic K4 from Refutation Trees Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 81 - 90ROK: 2002CZYSTY TEKSTBIBTEX
-
Natural deduction systems for some non-commutative logics Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 105 - 146ROK: 2007CZYSTY TEKSTBIBTEX
