Mitio Takano公司 模态逻辑KC4的修改子公式属性。 （英文） Zbl 1477.03061号 Nihonkai数学。J。 31，第1期，35-44（2020年）. KC4是众所周知的模态命题逻辑K由公理C4的扩展，公理C4说双盒暗示盒（传递性公理4的逆命题）。作者给了它一个Gentzen式的公理化，他表明，虽然它不能消除割，但它满足一个子公式性质，该子公式性质足以满足可判定性和有限模型性质。本文是对各种模态命题逻辑具有相似结果的系列文章之一；每个实例都需要一个合适的子公式属性的不同定义，以推广标准公式属性。审核人：David Makinson（伦敦） 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 05年3月 切割消除和正规形定理 关键词：子公式属性；模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Takano}，日本数学。J.31，第1号，35-44（2020；Zbl 1477.03061） 全文： 欧几里得 参考文献： [1] J.Garson，模态逻辑，摘自：斯坦福大学哲学百科全书（2018年秋季版），Edward N.Zalta（编辑），https://plato.stanford.edu/archives/fall2018/entries/logic-modal/。Zentralblatt数学：0875.003050·Zbl 0875.03050号 [2] S.Maehara，完整性证明的一般理论，《日本科学哲学协会年鉴》3:5（1970），242-256。Zentralblatt数学：0226.02032数字对象标识符：doi:10.4288/jafpos1956.3.242·Zbl 0226.02032号 ·doi:10.4288/jafpos1956.3.242 [3] M.Takano，在模态命题逻辑中用子公式概率代替删减，《日本数学》，37:6（1992），1129-1145。Zentralblatt数学：0821.03010·Zbl 0821.03010号 [4] M.Takano，模态逻辑K5和K5D的修正子公式性质，逻辑部分公报，30:2（2001），115-122。Zentralblatt数学：1038.03022·Zbl 1038.03022号 [5] M.Takano，模态逻辑的无割演算的语义分析，数理逻辑报告，53（2018），43-65。Zentralblatt数学：07034286·Zbl 1522.03058号 [6] M·Zbl 1477.03059号 ·doi:10.18778/0138-0680.48.1.02 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。