×

找到112个文档（结果1-100）

最新的 引文 关联
汉斯·范·迪特马什；迪迪埃·加米歇；玛尔塔·加威克

以认知行为历史为资源的分离逻辑。 （英语） Zbl 07810563号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13923, 161-177 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。票据计算。科学。13923、161--177（2023；Zbl 07810563）
全文： 内政部
汉斯·范·迪特马什；马尔文·加廷格

流言蜚语的局限性：所有秘密的二级共享知识是无法满足的。 （英语） 兹伯利07691326

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13468, 237-249 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{M.Gattinger}，莱克特。票据计算。科学。13468，237--249（2022；Zbl 07691326）
全文： 内政部
汉斯·范·迪特马什；克里斯蒂娜·弗鲁兹萨；罗马库兹涅茨

一个新的希望。 （英语） Zbl 07668105号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。349-369 (2022).
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。349--369（2022；Zbl 07668105）
汉斯·范·迪特马什

通缉死者或生还者：不纯正简单复合体的认知逻辑。 （英语） Zbl 07547732号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13038, 31-46 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}，莱克特。票据计算。科学。13038，31-46（2021；Zbl 07547732）
全文： 内政部 arXiv公司
汉斯·范·迪特马什；大卫·费尔南德斯·杜克

来自俄罗斯的爱。 （英语） Zbl 1529.03138号

Barés Gómez，C.（ed.）等人，《逻辑》，conocimiento y abducción。Homenaje aángel Nepomuceno家。伦敦：学院出版物。库德。洛格。认识论。冷。15, 153-174 (2021).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{D.Fernández Duque}，库德。洛格。认识论。冷。15、153--174（2021年；Zbl 1529.03138）
卡洛斯·阿雷塞斯；汉斯·范·迪特马尔施；劳尔·费尔瓦里；巴斯蒂安·莫伯特；弗朗索瓦州施瓦岑特鲁伯

作为动态操作符进行复制和删除。 （英语） Zbl 1515.03086号

J.应用。非类别。日志。 31，编号3-4，181-220（2021）.
MSC公司：03B45 03B42号 2015年3月1日 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，J.Appl。非类别。日志。31，编号3--4，181-220（2021；Zbl 1515.03086）
全文： 内政部 链接
汉斯·范·迪特马什；埃里克·古堡；玛丽亚娜·拉齐奇；杰雷米·莱登特；塞尔吉奥·拉杰斯鲍姆

平等否定和其他认知覆盖任务的动态认识逻辑分析。 （英语） Zbl 1502.68195号

J.日志。阿尔盖布。方法计划。 121，文章ID 100662，26 p.（2021）.
审核人：菲利普·高彻（巴黎）
MSC公司：68问题85 03B42号 03B70号 57M10个
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，J.Log。阿尔盖布。方法程序。121，文章ID 100662，26 p.（2021；Zbl 1502.68195）
全文： 内政部
拉希姆·拉梅扎尼安；拉苏尔·拉梅扎尼安；汉斯·范·迪特马什；马尔文·加廷格

人人都知道，人人都知道。 （英语） Zbl 1498.03067号

Mojtahedi、Mojtaba（编辑）等人，《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆：斯普林格。日志。认识论。统一科学。49, 117-133 (2021).
MSC公司：03B80号 03B70号 03B42号 68个M12 68T27型 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramezanian}等人，日志。认识论。统一科学。49117--133（2021年；Zbl 1498.03067）
全文： 内政部 arXiv公司
菲利普·巴尔比亚尼；汉斯·范·迪特马什；费尔南德斯·冈萨雷斯（Fernández González），萨尔

量化异步信息更改。 （英语） Zbl 07585706号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。33-52 (2020).
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。33-52（2020年；Zbl 07585706）
汉斯·范·迪特马什；刘、莫；Kuijer，Louwe B。；伊戈尔·塞德拉尔

APAL某些版本的表达能力。 （英语） Zbl 07437019号

Manuel A.Martins（编辑）等人，《动态逻辑》。新趋势和应用。第三次国际研讨会，达利2020，捷克共和国布拉格，2020年10月9日至10日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12569, 120-136 (2020).
MSC公司：03B42号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。票据计算。科学。12569，120-136（2020；Zbl 07437019）
全文： 内政部
菲利普·巴尔比亚尼；汉斯·范·迪特马什；冈萨雷斯、萨乌尔·费尔南德斯

从公开公告到异步公告。 （英语） Zbl 1464.68342号

De Giacomo，Giuseppe（编辑）等人，《2020年ECAI》。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会，PAIS 2020。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。325, 75-82 (2020).
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，前。Artif公司。智力。申请。325，75-82（2020；Zbl 1464.68342）
全文： 内政部
汉斯·范·迪特马什；Louwe B.Kuijer。

没有完全确定性的知识。 （英语） Zbl 1530.03067号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。11541, 619-632 (2019).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.Van Ditmarsch}和\textit{L.B.Kuijer}，莱克特。票据计算。科学。11541、619--632（2019年；Zbl 1530.03067）
全文： 内政部
鲁斯塔姆·加利姆林；娜塔莎·亚历奇纳；汉斯·范·迪特马什

联盟公告逻辑的模型检查。 （英语） Zbl 1515.68179号

Trollmann，Frank（编辑）等人，KI 2018：人工智能的进展。第41届德国人工智能会议，德国柏林，2018年9月24-28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11117，11-23（2018）。
MSC公司：60年第68季度 03B42号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Galimullin}等人，Lect。票据计算。科学。11117，11--23（2018；Zbl 1515.68179）
全文： 内政部 链接
汉斯·范·迪特马什；范德霍克，威比；Kooi，Barteld（巴特尔·库伊）

用Hintikka打牌：动态认知逻辑导论。 （英语） Zbl 1437.03077号

van Ditmarsch，Hans（ed.）等人，Jaakko Hintikka关于知识和博弈论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 237-262 (2018).
MSC公司：03B42号 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Outst。控制日志。12、237--262（2018；Zbl 1437.03077）
全文： 内政部
汉斯·范·迪特马什（编辑）；加布里埃尔·桑德（编辑）

Jaakko Hintikka关于知识和博弈论语义。献给Jaakko Hintikka。 （英语） Zbl 1397.03006号

对逻辑的杰出贡献12.查姆：施普林格（ISBN 978-3-319-62863-9/hbk；978-3-3169-62864-6/电子书）。ix，第632页。(2018).
MSC公司：03-06 03B42号 03A05号 01A70号 01A60型 00B15号机组 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}（编辑）和\textit{G.Sandu}（主编），Jaakko Hintikka关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：施普林格（2018；Zbl 1397.03006）
全文： 内政部
弗朗西斯科·贝拉迪内利；汉斯·范·迪特马什；范德霍克，威比

全球和本地公告的逻辑。 （英语） Zbl 1483.03005号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251，28-42（2017）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{F.Belardinelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）251，28-42（2017年；兹bl 1483.03005）
全文： arXiv公司 链接
马杜卡·阿塔玛；汉斯·范·迪特马什；大卫·格罗西；范德霍克，威比

闲聊的乐趣。 （英语） Zbl 1437.03056号

巴什肯特（Baškent，Can）（编辑）等人，《逻辑、语言和社会》（Rohit Parikh on logic，language and society）。查姆：斯普林格。Outst公司。控制日志。11, 145-163 (2017).
MSC公司：03B42号 03B45 03B70号 03B80号 68个M12 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{M.Attamah}等人，Outst。控制日志。11、145-163（2017；Zbl 1437.03056）
全文： 内政部
扎伊纳布·巴赫蒂亚里；汉斯·范·迪特马尔施；Helle Hvid Hansen先生

邻里应急相互模拟。 （英语） Zbl 1485.03063号

Ghosh，Sujata（编辑）等人，《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议，ICLA 2017。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10119，48-63（2017年）。
MSC公司：03B60号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{Z.Bakhtiari}等人，Lect。票据计算。科学。10119，48-63（2017；Zbl 1485.03063）
全文： 内政部 链接
克利斯朵夫·查尔顿；汉斯·范·迪特马什

对过去量子密码学的战略知识。 （英语） Zbl 1495.68206号

Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10455, 347-361 (2017).
MSC公司：68T27型 03B42号 03B44号 68T42型 81页94
PDF格式BibTeX公司 XML格式引用
\textit{C.Chareton}和\textit{H.van Ditmarsch}，莱克特。票据计算。科学。10455、347--361（2017；Zbl 1495.68206）
全文： 内政部
汉斯·范·迪特马什；索菲亚·奈特；艾比克·厄兹根

公告作为对拓扑空间的努力。 （英语） Zbl 1483.68388号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215283-297（2016）。
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，《电子》。程序。西奥。计算。科学。（EPTCS）215283--297（2016；Zbl 1483.68388）
全文： arXiv公司 链接
汉斯·范·迪特马什；范德霍克，威比；Kuijer，Louwe B。

完全任意的公告。 （英语） Zbl 1400.03032号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。252-267 (2016).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。252--267（2016；Zbl 1400.03032）
菲利普·巴尔比亚尼；汉斯·范·迪特马什；安德烈亚斯·赫齐格

在宣布之前。 （英语） Zbl 1400.03027号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。58-77（2016年）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。58-77（2016年；Zbl 1400.03027）
扎伊纳布·巴赫蒂亚里；汉斯·范·迪特马什；萨宾·弗里特拉

精化模态逻辑的代数语义。 （英语） Zbl 1400.03036号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。38-57 (2016).
MSC公司：03B45 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Bakhtiari}等人，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。38-57（2016；Zbl 1400.03036）
托马斯·博兰德；汉斯·范·迪特马什；安德烈亚斯·赫齐格；埃米利亚诺·洛里尼；佩雷·帕尔多；弗朗索瓦州施瓦岑特鲁伯

向关注的代理发布公告。 （英语） Zbl 1352.03021号

J.逻辑语言信息。 25，第1期，1-35页（2016）.
审核人：埃里克·马丁（悉尼）
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{T.Bolander}等人，J.Logic Lang.Inf.25，No.1，1-35（2016；Zbl 1352.03021）
全文： 内政部 链接
汉斯·范·迪特马什（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）；范德霍克，威比（编辑）；巴特尔·库伊（编辑）

认识逻辑手册。 （英语） Zbl 1392.03009号

伦敦：学院出版物（ISBN 978-1-84890-158-2/pbk）。十七、655页。(2015).
MSC公司：03-06 03B42号 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}（编辑）等人，《认知逻辑手册》。伦敦：学院出版物（2015；Zbl 1392.03009）
Jean-RenéCourtault；汉斯·范·迪特马什；迪迪埃·加米歇

认知分离逻辑。 （英语） Zbl 1465.03060号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9160, 156-173 (2015).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.-R.Courtault}等人，Lect。票据计算。科学。9160、156--173（2015；Zbl 1465.03060）
全文： 内政部
范洁；汉斯·范·迪特马什

邻里应急逻辑。 （英语） Zbl 1304.03049号

莫华·班纳吉（编辑）等，《逻辑及其应用》。2015年1月8日至10日在印度孟买举行的第六届印度会议，ICLA 2015。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-45823-5/pbk）。计算机科学课堂讲稿8923，88-99（2015）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{J.Fan}和\textit{H.van Ditmarsch}，莱克特。票据计算。科学。8923、88-99（2015年；Zbl 1304.03049）
全文： 内政部
范洁；王燕京；汉斯·范·迪特马什

几乎是必要的。 （英语） Zbl 1385.03017号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。178-196 (2014).
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{J.Fan}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。178-196（2014；Zbl 1385.03017）
汉斯·范·迪特马什；范洁；范德霍克，威比；皮塔·伊利耶夫

模态逻辑中公式大小的一些指数下界。 （英语） Zbl 1385.03029号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。139-157 (2014).
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。139-157（2014年；兹bl 1385.03029）
托马斯·奥戈特内斯；汉斯·范·迪特马什

知识游戏和联盟能力。 （英语） 兹伯利1325.03012

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5的杰出贡献》，451-485（2014）。
审核人：罐头篮（浴缸）
MSC公司：03B42号 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特斯}和\textit{H.范迪特马什}，奥斯特。控制日志。5451-485（2014；Zbl 1325.03012）
全文： 内政部
卡洛斯·阿雷塞斯；汉斯·范·迪特马什；劳尔·费尔瓦里；弗朗索瓦州施瓦岑特鲁伯

复制和删除逻辑。 （英语） Zbl 1373.03043号

Kohlenbach，Ulrich（编辑）等人，《逻辑、语言、信息和计算》。2014年9月1日至4日，第21届国际研讨会，WoLLIC 2014，智利瓦尔帕莱索。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44144-2/pbk）。计算机科学讲座笔记8652，51-65（2014）。
MSC公司：03B70号 03B42号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，Lect。票据计算。科学。8652，51-65（2014；Zbl 1373.03043）
全文： 内政部
汉斯·范·迪特马什；索菲亚·奈特

部分信息和统一策略。 （英语） Zbl 1425.68397号

Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8624, 183-198 (2014).
MSC公司：68T27型 03B42号 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{S.Knight}，莱克特。票据计算。科学。8624，183--198（2014；Zbl 1425.68397）
全文： 内政部
贾科莫·博纳诺（编辑）；汉斯·范·迪特马尔施（编辑）；范德霍克，威比（编辑）；斯特芬·约根森（编辑）

专题介绍。 （英语） Zbl 1298.00231号

国际博弈论评论。 16，第1号，文章ID 1403001，第5页（2014）.
MSC公司：00B25型 03-06 91-06 91轴 03B42号 91A35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bonanno}（编辑）等，《国际博弈论》第16版，第1期，文章ID 1403001，5页（2014；Zbl 1298.00231）
全文： 内政部
菲利普·巴尔比亚尼；汉斯·范·迪特马什；安德烈·库迪诺夫

具有任意公告的子集空间逻辑。 （英语） Zbl 1303.03038号

Lodaya，Kamal（编辑），《逻辑及其应用》。第五届印度会议，2013年ICLA，印度钦奈，2013年1月10日至12日，会议记录。柏林：施普林格出版社（ISBN 978-3-642-36038-1/pbk）。计算机科学课堂讲稿7750，233-244（2013）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，Lect。票据计算。科学。7750233-244（2013；Zbl 1303.03038）
全文： 内政部 哈尔
汉斯·范·迪特马什；安德烈亚斯·赫齐格；埃米利亚诺·洛里尼；弗朗索瓦州施瓦岑特鲁伯

听我说！向关注或不关注的代理发布公告。 （英语） Zbl 1407.03024号

Grossi，Davide（编辑）等人，《逻辑、理性与互动》。2013年10月9日至12日，第四届国际研讨会，LORI 2013，中国杭州。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8196, 96-109 (2013).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。票据计算。科学。8196、96--109（2013年；Zbl 1407.03024）
全文： 内政部 哈尔
菲利普·巴尔比亚尼；汉斯·范·迪特马什；安德烈亚斯·赫齐格；蒂亚戈，德利马

有些真相最好不说。 （英语） Zbl 1300.03014号

Bolander，Thomas（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。36-54（2012年）。
审核人：Audrey Yap（维多利亚州）
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。36-54（2012；Zbl 1300.03014）
劳拉·博泽利；汉斯·范·迪特马什；苏菲·平奇纳特

单智能体精化模态逻辑的复杂性。 （英语） Zbl 1361.68107号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，第13届欧洲会议，2012年JELIA，法国图卢兹。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，120-133（2012）。
MSC公司：65年第68季度 03B45 2017年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。票据计算。科学。7519、120--133（2012年；Zbl 1361.68107）
全文： 内政部
汉斯·范·迪特马什

量化注释。 （英语） Zbl 1362.03016号

Ong，Luke（编辑）等人，《逻辑、语言、信息和计算》。2012年9月3日至6日在阿根廷布宜诺斯艾利斯举办的2012年WoLLIC第19届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32620-2/pbk）。计算机科学课堂讲稿7456，89-109（2012）。
MSC公司：03B42号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}，莱克特。票据计算。科学。7456，89-109（2012年；兹bl 1362.03016）
全文： 内政部
汉斯·范·迪特马什（编辑）；大卫·费尔南德斯·杜克（编辑）；瓦伦丁·戈兰科（编辑）；詹罗加，沃伊特克（编辑）；曼纽尔·奥杰达·阿西戈（编辑）

2011年11月10日至12日，西班牙奥苏纳，第七届模态方法研讨会（M4M’2011）和第四届多智能体系统逻辑方面研讨会（LAMAS’2011）会议记录。 （英语） Zbl 1281.03006号

理论计算机科学电子笔记278.阿姆斯特丹：爱思唯尔。第288页。，仅电子版（2011年）。
MSC公司：03-06 03B35型 03B45 03B70号 68T27型 68T42型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}（ed.）等人，第七届模态方法研讨会（M4M’2011）和第四届多智能体系统逻辑方面研讨会（LAMAS’2011），西班牙奥苏纳，2011年11月10-12日。阿姆斯特丹：爱思唯尔（2011；Zbl 1281.03006）
全文： 链接
汉斯·范·迪特马什；大卫·费尔南德斯·杜克；范德霍克，威比

有限认知模型对相似性和双相似性的可定义性。 （英语） Zbl 1348.68271号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，74-87（2011）。
MSC公司：68T42型 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。票据计算。科学。6814、74-87（2011年；Zbl 1348.68271）
全文： 内政部
汉斯·范·迪特马什；费尔南多·索勒·托斯卡诺

三个步骤。 （英语） Zbl 1348.68272号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，41-57（2011）。
MSC公司：68T42型 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{F.Soler-Toscano}，莱克特。票据计算。科学。6814、41-57（2011年；Zbl 1348.68272）
全文： 内政部
汉斯·范·迪特马什；法语，蒂姆；苏菲·平奇纳特

未来事件逻辑——公理和复杂性。 （英语） Zbl 1254.03027号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。77-99 (2010).
MSC公司：03B44号 03B42号 68T27型 68立方英尺 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。77-99（2010年；兹bl 1254.03027）
汉斯·范·迪特马什；法语，蒂姆

意识到命题变量。 （英语） Zbl 1303.03047号

莫华·班纳吉（编辑）等，《逻辑及其应用》。2011年1月5日至11日，印度德里，第四届印度会议，ICLA 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18025-5/pbk）。计算机科学课堂讲稿6521。《人工智能课堂讲稿》，204-218（2010）。
MSC公司：03B42号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{T.French}，Lect。票据计算。科学。6521、204--218（2010；Zbl 1303.03047）
全文： 内政部 链接
埃米利亚诺·洛里尼；迈赫迪·达斯塔尼；汉斯·范·迪特马什；安德烈亚斯·赫齐格；约翰·朱尔斯·迈耶

意图和任务。 （英语） Zbl 1196.03021号

何向东（主编）等，《逻辑、理性与互动》。第二次国际研讨会，LORI 2009，中国重庆，2009年10月8-11日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04892-0/pbk）。计算机科学课程讲稿5834。《人工智能课堂讲稿》，198-211（2009）。
MSC公司：03B42号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}等人，Lect。票据计算。科学。5834，198--211（2009；Zbl 1196.03021）
全文： 内政部
汉斯·范·迪特马什；法语，蒂姆

模拟和信息：量化认知事件。 （英语） Zbl 1258.68150号

Meyer，John-Jules Ch.（ed.）等人，《agent和多agent系统的知识表示》。第一次国际研讨会，KRAMAS 2008，澳大利亚悉尼，2008年9月17日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-05300-9/pbk）。计算机科学课程讲稿5605。《人工智能讲义》，51-65（2009）。
MSC公司：68T27型 03B42号 03B44号 68立方英尺 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛H.van Ditmarsch｝和\textit｛T.French｝，Lect。票据计算。科学。560551-65（2009年；Zbl 1258.68150）
全文： 内政部
汉斯·范·迪特马什

关于“条件性多沙行为的逻辑”的评论。 （英语） Zbl 1377.03008号

Apt，Krzysztof R.（编辑）等人，《游戏和互动的新视角》。根据2007年2月5日至7日在荷兰阿姆斯特丹举行的学术讨论会上的发言选出的论文。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-057-4/pbk；978-90-4850-642-2/电子书）。《逻辑和游戏中的文本》4，33-44（2008）。
MSC公司：03B42号 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}，文本日志。游戏4，33-44（2008；Zbl 1377.03008）
汉斯·范·迪特马什；巴特尔·库伊

本体和认知变化的语义结果。 （英语） Zbl 1261.03081号

Bonanno，Giacomo（编辑）等人，《逻辑与博弈与决策理论基础》（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-026-0/pbk）。《逻辑与游戏中的文本》387-117（2008）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{B.Kooi}，文本日志。游戏3，87-117（2008；Zbl 1261.03081）
法语，蒂姆；汉斯·范·迪特马什

任意公告逻辑的不确定性。 （英语） Zbl 1244.03058号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。23-42 (2008).
MSC公司：03B42号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}和\textit{H.van Ditmarsch}，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9-12日。伦敦：学院出版物。23-42（2008；Zbl 1244.03058）
菲利普·巴尔比亚尼；亚历山大·巴尔塔格；汉斯·范·迪特马什；安德烈亚斯·赫齐格；丰弘Hoshi；蒂亚戈，德利马

“Knowable”是指“发布公告后才知道”。 （英语） Zbl 1208.03019号

版本符号。日志。 1，第3号，305-334（2008）.
审核人：贾科莫·博纳诺（戴维斯）
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，Rev.Symb。日志。1，第3号，305-334（2008；Zbl 1208.03019）
全文： 内政部
汉斯·范·迪特马什；范德霍克，威比；Kooi，Barteld（巴特尔·库伊）

动态认知逻辑。 （英语） Zbl 1156.03015号

合成库337.多德雷赫特：施普林格出版社（ISBN 978-1-4020-6908-6/pbk；978-1-4020-5838-7/hbk）。xi，第282页。(2008).
审核人：贾科莫·博纳诺（戴维斯）
MSC公司：03B42号 03B45 68T27型 03-02
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，《动态认知逻辑》。多德雷赫特：施普林格（2008；Zbl 1156.03015）
全文： 内政部
van Ditmarsch，H.P。；范德霍克，W。；Kooi，B.P。

动态认知逻辑与知识困惑。 （英语） Zbl 1156.03320号

Priss，Uta（编辑）等人，《概念结构：智能应用的知识架构》。2007年7月22日至27日在英国谢菲尔德举行的第15届国际概念结构会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73680-6/pbk）。计算机科学课堂讲稿4604。人工智能课堂讲稿，45-58（2007）。
MSC公司：03B42号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{H.P.van Ditmarsch}等人，Lect。票据计算。科学。4604、45-58（2007年；Zbl 1156.03320）
全文： 内政部
van Ditmarsch，H.P。；范德霍克，W。；范德梅登，R。；J.阮。

模型检查俄罗斯卡。 （英语） Zbl 1273.68245号

Pecheur，Charles（编辑）等人，《模型检查和人工智能第三次研讨会论文集》（MoChArt 2005），美国加利福尼亚州旧金山，2005年8月27日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》149，第2期，105-123页（2006年）。
MSC公司：60年第68季度 03B42号 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.P.van Ditmarsch}等人，《电子》。注释Theor。计算。科学。149，No.2，105--123（2006；Zbl 1273.68245）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件