摘要
模态逻辑KC4是最小的正规模态逻辑K，其附加公理$\Box\Box A\mathbin{\supset}\Box A$称为补体第四成份，表示可及关系的密度。在本文中，通过设计一个适当的逐次演算，给出了该逻辑的一个修改的子形式性质。这种逻辑的有限模型性质和可判定性是简单的推论。
奇怪的是，这种逻辑的修改子公式是为一组公式定义的，而不是为单个公式定义的。
引用
下载引文
高野三雄。
“模态逻辑KC4的修改子公式属性。”
Nihonkai数学。J。
31
（1）
35-44之间，
2020
问询处
收到日期：2020年4月17日;修订日期：2020年6月11日;发布日期：2020年
欧几里德项目首次提供：2020年11月7日
学科：
主要用户：03B45号
次要：05年3月
关键词：模态逻辑KC4,矢列演算,子公式属性
版权所有©2020新泻大学数学系
