小森由一 Shin-ya胜本 克莱门斯·库普克 尤里安腐烂 哈朔一郎 定量模态逻辑的表达：通过编码和近似的范畴基础。 1-14 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470656 conf/lics/2021 db/conf/lics/lics2021.html#KomoridaKKRH21