Two Simple Incomplete Modal Logics
Two Simple Incomplete Modal Logics
复制标题
两个简单的不完全模态逻辑
DOI：
10.1111/j.1755-2567.1978.tb00830.x
复制
发表时间：
2008
期刊：
影响因子：
0.5
通讯作者：
J. Benthem
中科院分区：
文献类型：
--
作者：
J. Benthem
下面要考虑的模态公式属于带有命题字母p，q，r，.的模态命题语言，布尔运算符1（否定），-+（实质蕴涵），A（合取），v（析取），c*（实质等价）和模态运算符0（必然）和0（可能）。模态公式cp的次数d（cp）根据子句（i）d（p）= 0归纳地定义，对于命题字母p，
The modal formulas to be considered below belong to the modal propositional language with proposition letters p, q, r,..., Boolean operators 1 (negation),-+(material implication), A (conjunction), v (disjunction), c*(material equivalence) and modal operators 0 (necessarily) and 0 (possibly). The degree d (cp) of a modal formula cp is defined inductively according to the clauses (i) d (p)= 0, for proposition letters p,