Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.

Yoshihito Tanaka, Hiroakira Ono

Browse the full AiML paper archive.