Duality in Superintuitionistic and Modal Predicate Logics. - Hiroyuki Shirasu (Advances in Modal Logic, 1996)

On the Finite Model Property of Intuitionistic Modal Logics over MIPC. - Takahito Aoto 001; Hiroyuki Shirasu (Math. Log. Q., 1999)