托马斯·博兰德;特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 基于DEL的认知规划：可判定性和复杂性。 （英语） Zbl 1493.68359号 Artif公司。智力。 287，文章ID 103304，35 p.（2020）.MSC公司：68T42型 03B42号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}等人，Artif。智力。287，文章ID 103304，35 p.（2020；Zbl 1493.68359） 全文： 内政部 链接
安徒生，米克尔·比尔克加德;托马斯·博兰德;汉斯·范·迪特马什;马丁·霍尔姆·延森 条件信念、信念程度和安全信念的相互模拟和表达。 （英语） Zbl 1431.03028号 合成 194，第7期，2447-2487（2017）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Andersen}等人，Synthese 194，No.7，2447--2487（2017；Zbl 1431.03028） 全文： 内政部 arXiv公司
托马斯·博兰德;汉森、雷内·里多夫 环境微积分的混合逻辑分析。 （英语） 兹比尔1200.68160 Inf.计算。 208，第5期，433-449（2010）.MSC公司：68问题85 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{R.R.Hansen}，Inf.Compute。208，No.5，433--449（2010；Zbl 1200.68160） 全文： 内政部
托马斯·博兰德 扩展K的混合逻辑的终止表计算。 （英语） 兹伯利1347.03039 Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，21-39（2009）。MSC公司：03B45 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}，电子。注释Theor。计算。科学。231、21-39（2009年；Zbl 1347.03039） 全文： 内政部
托马斯·博兰德;延斯·乌尔里克·汉森;迈克尔·汉森。 混合持续时间演算的可判定性。 （英语） Zbl 1278.03040号 Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，113-133（2007）。MSC公司：03B44号 03年2月25日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}等人，《电子》。注释Theor。计算。科学。174，第6号，113--133（2007；Zbl 1278.03040） 全文： 内政部