Motohiko Mouri
3 artykuły w 2 czasopismach
-
Theorem Provers with Countermodels and xpe Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 79 - 872001CZYSTY TEKST
Motohiko Mouri, Theorem Provers with Countermodels and xpe, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 79 - 87
BIBTEX@Article{ authors = " Motohiko Mouri", title = "Theorem Provers with Countermodels and xpe", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "79 - 87" }
-
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 - 902002CZYSTY TEKST
Motohiko Mouri, Constructing Counter-Models for Modal Logic K4 from Refutation Trees, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 81 - 90
BIBTEX@Article{ authors = " Motohiko Mouri", title = "Constructing Counter-Models for Modal Logic K4 from Refutation Trees", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "81 - 90" }
-
Natural deduction systems for some non-commutative logics Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 105 - 1462007CZYSTY TEKST
Norihiro Kamide, Motohiko Mouri, Natural deduction systems for some non-commutative logics, Logic and Logical Philosophy, 2007 / Tom 16 / Numer 2-3, s. 105 - 146
BIBTEX@Article{ authors = " Norihiro Kamide, Motohiko Mouri", title = "Natural deduction systems for some non-commutative logics", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 2-3", pages = "105 - 146" }