論文

査読有り
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