An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
复制标题
非自反性引理及其在时态框架条件公理化中的应用
DOI：
--
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
D. Gabbay
中科院分区：
文献类型：
--
作者：
D. Gabbay
为了修正我们的符号，（S，R，g）表示一个命题Kripke框架，其关系为R <$S 2，赋值为g，（即g（p）<$S，对于原子p）。
To fix our notation, (S,R,g) denotes a propositional Kripke frame with relation R ⊆ S 2, and an assignment g, (i.e. g(p) ⊆ S, for atom p).