Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics

Bulletin of the Section of Logic, Tom 30, Numer 2 (2001) s. 107-114
Tatsuya Shimura

 

do góry