2013年12月6日 A remark on metacomplete relevant modal logics 第48回数理論理学研究集会 関 隆宏 記述言語 日本語 会議種別 口頭発表(一般) 開催地 山中温泉河鹿荘ロイヤルホテル