康拉德·特津斯基 Rogowski方向逻辑中的时间函子-一些结果。 (英语) Zbl 0694.03016号 牛市。第节。逻辑,Pol。阿卡德。科学。 19,第1号,30-32(1990). 审核人:L.F.戈布尔 MSC公司:03B50号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{K.Turzyñski},公牛。第节。逻辑,Pol。阿卡德。科学。19,编号1,30-32(1990年;Zbl 0694.03016)
伊尔迪科·塞恩 计算机科学时序逻辑需要时钟。 (英语) Zbl 0696.03012号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第4期,153-160(1989). 审核人:J.-J.Ch.梅耶 MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain},公牛。第节。逻辑,Pol。阿卡德。科学。18,第4号,153--160(1989;Zbl 0696.03012)
维尼马,伊德 关系代数的二维模态逻辑和区间的时间逻辑。 (英语) Zbl 0685.03014号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第4号,167-174(1989).MSC公司:03B45 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},公牛。第节。逻辑,Pol。阿卡德。科学。18,第4号,167--174(1989;Zbl 0685.03014)
牛顿·C·A·达·科斯塔。;法语,史蒂文 关于时序逻辑的注释。 (英语) Zbl 0679.03003号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,第2期,第51-56页(1989年). 审核人:V.V.雷巴科夫 MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{S.French},公牛。第节。逻辑,Pol。阿卡德。科学。18,编号2,51-56(1989;Zbl 0679.03003)