Finite Model Property for Some Intuitionistic Modal Logics

Bulletin of the Section of Logic, Tom 30, Numer 2 (2001) s. 87-97
Yasusi Hasimoto

 

do góry