トゥールミン図式のハイブリッド多領域様相論理による論理学的形式化ーーハイブリッド論理版 Weak Until としての “Unless”
トゥールミン図式のハイブリッド多領域様相論理による論理学的形式化ーーハイブリッド論理版 Weak Until としての “Unless”
复制标题
使用混合多域模态逻辑对图尔明图进行逻辑形式化 - “除非”作为混合逻辑版本弱直到
DOI:
--
复制
发表时间:
2022
期刊:
影响因子:
--
通讯作者:
細川雄一郎
中科院分区:
文献类型:
--
作者:
Yusuke Ikeda;Claudia Serban;Iulian Apostolescu;Inga Roemer;Corijn van Mazijk;Daniel De Santis;Dominique Pradelle;Alexander Schnell;Ovidiu Stanciu;Steven Crowell;Natalie Depraz他;君嶋泰明;鵜殿 憩;Kondo Hayato;縣由衣子;細川雄一郎