Shigeo Ohama

Publication Activity (10 Years)

Years Active: 1977-1984
Publications (10 Years): 0

Publications

Shigeo Ohama
Conjunctive normal forms and weak modal logics without the axiom of necessity. Notre Dame J. Formal Log. 25 (2) (1984)
Satoshi Miura, Shigeo Ohama
A note on Thomason's representation of S5. Notre Dame J. Formal Log. 18 (1) (1977)