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

by O Morikawa
Venue:Notre Dame Journal of Formal Logic