Mitsu Okada

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Hirohiko Kushida, Mitsu Okada
A proof-theoretic study of the correspondence of hybrid logic and classical logic. J. Log. Lang. Inf. 16 (1) (2007)
Hirohiko Kushida, Mitsu Okada
A proof-theoretic study of the correspondence of classical logic and modal logic. J. Symb. Log. 68 (4) (2003)