伊恩·霍德金森 关于实线上“现在左右”的Priorean时序逻辑。 （英语） Zbl 1335.03018号 J.日志。计算。 24，第5期，1071-1110（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}，J.Log。计算。24，第5号，1071--1110（2014；Zbl 1335.03018） 全文： 内政部
伊恩·霍德金森;安吉洛·蒙塔纳里;圭多·西亚维科 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 （英语） 兹比尔1156.03321 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，308-322（2008）。MSC公司：03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛I.Hodkinson｝等人，Lect。注释计算。科学。5213、308--322（2008；Zbl 1156.03321） 全文： 内政部
伊恩·霍德金森 线性和实时上一元保护碎片的复杂性。 （英语） 邮编1093.03009 Ann.纯粹应用。逻辑 138，编号1-3，94-125（2006）.MSC公司：03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}，Ann.《纯粹的应用》。逻辑138，编号1--3，94-125（2006；Zbl 1093.03009） 全文： 内政部 链接
伊恩·霍金森;马克·雷诺兹 分离——过去、现在和未来。 （英语） Zbl 1272.03091号 阿尔特莫夫、谢尔盖（编辑）等，我们将向他们展示！为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦：学院出版物（ISBN 1-904987-12-5/pbk；1-904987-26-5/hbk）。《致敬》2，117-142（2005）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}和textit{M.雷诺兹}，《致敬》2，117--142（2005；Zbl 1272.03091）
塞巴斯蒂安·鲍尔;伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 关于非局部命题和弱一元量化（mathcal{CTL}^{ast}）。 （英语） Zbl 1046.03007号 J.日志。计算。 14，第1期，3-22（2004）. 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bauer}等人，J.Log。计算。14，第1号，第3--22号（2004；Zbl 1046.03007） 全文： 内政部
伊恩·霍德金森 等式的一元压缩碎片是可判定的。 （英语） 兹比尔1011.03008 双头螺栓日志。 72，第2期，185-197（2002）.MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}，Stud.Log。72，第2号，185--197（2002；Zbl 1011.03008） 全文： 内政部
伊恩·霍德金森 一阶逻辑的松散保护片段具有有限模型性质。 （英语） Zbl 0998.03003号 双头螺栓日志。 70，第2期，205-240（2002）.MSC公司：03B20型 03B45号 03C07号机组 03C13号机组 03C30号 03G15年 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}，Stud.Log。70，第2号，205--240（2002；Zbl 0998.03003） 全文： 内政部
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 一阶时序逻辑的单字片断：公元2000-2001年。 （英语） Zbl 1275.03088号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，1-23（2001）。MSC公司：03B44号 60年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人，Lect。注释计算。科学。2250，1--23（2001年；Zbl 1275.03088） 全文： 内政部
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 一阶时序逻辑的可判定片段。 （英语） Zbl 0999.03015号 Ann.纯粹应用。逻辑 106，编号1-3，85-134（2000）. 审核人：马丁·霍夫曼（慕尼黑） MSC公司：03B44号 03B25号 第68页，共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人，Ann.Pure Appl。逻辑106，编号1--3，85-134（2000；Zbl 0999.03015） 全文： 内政部
伊恩·霍德金森;安德烈斯·西蒙 变量属性比H维属性强。 （英语） Zbl 0976.03017号 J.菲洛斯。日志。 26，第1期，第81-101页（1997年）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}和textit{A.西蒙}，J.菲洛斯。日志。26，编号1，81--101（1997；Zbl 0976.03017） 全文： 内政部
Dov Gabbay公司;伊恩·霍德金森 数据库上下文中的时态逻辑。 （英语） Zbl 0919.03018号 Copeland，B.J.（编辑），《逻辑与现实：关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。69-87 (1996). 审核人：S.H.Lee（首尔） MSC公司：03B45号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{I.Hodkinson}，收录于：逻辑与现实：亚瑟·普赖尔遗产论文。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。69-87（1996年；Zbl 0919.03018）
Dov M.加巴伊。;伊恩·霍德金森;马克·雷诺兹 时间逻辑。第1卷。数学基础和计算方面。 （英语） Zbl 0921.03023号 牛津逻辑指南. 28. 牛津：克拉伦登出版社。xiv，653页（1994年）。 审核人：Neculai Curteanu（MR 95h:03040） MSC公司：03B45号 03-02 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，时间逻辑。第1卷。数学基础和计算方面。牛津：克拉伦登出版社（1994；Zbl 0921.03023）
加贝，D.M。;I.M.霍德金森。;Reynolds，文学硕士。 存在间隙时的时间表达完整性。 （英语） Zbl 0802.03016号 Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至22日，ASL夏季会议在芬兰赫尔辛基举行。柏林：Springer-Verlag。莱克特。注释日志。2, 89-121 (1993). 审核人：V.V.Rybakov（克拉斯诺亚尔斯克） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，Lect。注释日志。2、89——121（1993；Zbl 0802.03016）
伊恩·霍德金森 有限变量逻辑。 （英语） Zbl 0788.03051号 牛市。EATCS公司 51, 111-140 (1993).MSC公司：03C75号 03C13号机组 03C40号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}，公牛。EATCS 51、111--140（1993；Zbl 0788.03051）
加贝，D.M。;I.M.霍德金森。 实数上的时态逻辑的公理化。 （英语） Zbl 0744.03018号 J.日志。计算。 1，No.2，229-259（1990）. 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛D.M.Gabbay｝和\textit｛I.M.Hodkinson｝，J.Log。计算。1，No.2，229--259（1990；Zbl 0744.03018） 全文： 内政部