査読有り 2021年 Duality for kappa-additive complete atomic modal algebras Algebra Universalis Yoshihito Tanaka 巻 82 号 2 開始ページ 1 終了ページ 20 エクスポート BibTeX RIS