査読有り 2001年 Rasiowa-Sikorski Lemma and Kripke completeness of predicate and infinitary modal logics Advances in Modal Logic volume 2. CSLI Publications, Stanford. Yoshihito Tanaka, Hiroakira Ono 開始ページ 401 終了ページ 419 エクスポート BibTeX RIS