Dov M.加巴伊。;Reynolds,Mark A。;马塞洛·芬格 时间逻辑。第2卷。数学基础和计算方面。 (英语) Zbl 1014.03006号 牛津逻辑指南. 40. 纽约州纽约市:牛津大学出版社。xiv,597页(2000年)。MSC公司:03-02 03B44号 03B70号 第68季度第45季度 60年第68季度 68T27型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人,时间逻辑。第2卷。数学基础和计算方面。纽约州纽约市:牛津大学出版社(2000;Zbl 1014.03006)
Dov M.加巴伊。 光纤逻辑。 (英语) Zbl 0909.03001号 牛津逻辑指南. 38. 牛津:克拉伦登出版社。xiii,475页(1999年)。 审核人:博里奇奇(贝尔格莱德) MSC公司:03-02 03B22号 03B45号 03秒20 03B52号 03B10号机组 03B60号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay},光纤逻辑。牛津:克拉伦登出版社(1999;Zbl 0909.03001)
Dov M.加巴伊。;伊恩·霍德金森;马克·雷诺兹 时间逻辑。第1卷。数学基础和计算方面。 (英语) Zbl 0921.03023号 牛津逻辑指南. 28. 牛津:克拉伦登出版社。xiv,653页(1994年)。 审核人:Neculai Curteanu(MR 95h:003040) MSC公司:03B45号 03-02 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人,时间逻辑。第1卷。数学基础和计算方面。牛津:克拉伦登出版社(1994;Zbl 0921.03023)