当前位置:
X-MOL 学术
›
J. Log. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-04-21 , DOI: 10.1093/logcom/exab031 Takahiro Sawasaki 1 , Katsuhiko Sano 2
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-04-21 , DOI: 10.1093/logcom/exab031 Takahiro Sawasaki 1 , Katsuhiko Sano 2
Affiliation
The author email addresses were previously assigned to the incorrect authors in this paper. This error
has now been corrected online https://doi.org/10.1093/logcom/exaa067.
中文翻译:
更正:常识模态谓词逻辑中的框架可定义性、规范性和剪切消除
作者的电子邮件地址之前被分配给了本文中不正确的作者。此错误现已在线纠正 https://doi.org/10.1093/logcom/exaa067。
更新日期:2021-04-21
中文翻译:
更正:常识模态谓词逻辑中的框架可定义性、规范性和剪切消除
作者的电子邮件地址之前被分配给了本文中不正确的作者。此错误现已在线纠正 https://doi.org/10.1093/logcom/exaa067。