汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 以认知行为历史为资源的分离逻辑。 （英语） 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） 全文： 内政部
汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 带有动作模型的认知分离逻辑。 （英语） Zbl 07727821号 J.逻辑语言信息。 32，编号1，89-116（2023）.MSC公司：03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，J.Logic Lang.Inf.32，No.1，89--116（2023；Zbl 07727821） 全文： 内政部 OA许可证
科尔托，J.R。;van Ditmarsch，H。;D.加尔米奇。 公告分离逻辑。 （英语） 兹比尔1456.03030 数学。结构。计算。科学。 29，第6号，828-871（2019）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Courtault}等人，《数学》。结构。计算。科学。29，第6号，828--871（2019；Zbl 1456.03030） 全文： 内政部
Jean-RenéCourtault;汉斯·范·迪特马什;迪迪埃·加米歇 认知分离逻辑。 （英语） 兹比尔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） 全文： 内政部