Some modal logics based on a three-valued logic (1989)

by O Morikawa
Venue:Notre Dame J. of Formal Logic