奥尔纳·利希滕斯坦;阿米尔·普努利 命题时态逻辑：可决定性和完备性。 （英语） Zbl 1033.03009号 日志。J.IGPL公司 8，第1号，55-85（2000）.MSC公司：03B44号 03年2月25日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lichtenstein}和\textit{A.Pnueli}，日志。J.IGPL 8，第1期，55--85（2000；Zbl 1033.03009） 全文： 内政部
赫莱梅德尼克，R.V。 线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 （俄语。英文摘要） Zbl 1032.03510号 维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，176-191（2000）.MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Khelemednik}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1期，176--191（2000；Zbl 1032.03510）
塞雷内拉，塞里托;玛尔塔·恰尔迪亚·梅耶 有限帧上命题线性时间逻辑的标签表。 （英语） 兹伯利0966.03018 Basin，David（编辑）等人，标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。17, 135-159 (2000).MSC公司：03B44号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}和\textit{M.Cialdea Mayer}，应用。日志。序列号。17、135——159（2000；Zbl 0966.03018）
圭多州长;亚历山德罗·卢皮 非正常模态逻辑的标签表。 （英语） Zbl 0961.03016号 Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。勒克特。注释计算。科学。1792, 119-130 (2000).MSC公司：03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}和\textit{A.Luppi}，莱克特。注释计算。科学。1792、119--130（2000年；Zbl 0961.03016）