汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 带有动作模型的认知分离逻辑。 （英语） 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） 全文： 内政部
彼得·吉普森;塔德乌兹·利塔克 对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号 加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).MSC公司：03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891） 全文： 内政部 arXiv公司
斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 无量词分离逻辑的完整公理化。 （英语） Zbl 07407789号 日志。方法计算。科学。 17，第3号，第17号论文，64页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛S.Demri｝等人，日志。方法计算。科学。17，第3号，第17号论文，64页（2021；Zbl 07407789） 全文： arXiv公司 链接
塔德乌兹·利塔克;米里亚姆·波尔泽;乌尔里希·拉本斯坦 否定翻译和正常情态。 （英语） Zbl 1434.03074号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第27条，第18页（2017年）。MSC公司：03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}等人，LIPIcs——莱布尼茨国际程序。通知。84，第27条，第18页（2017年；Zbl 1434.03074） 全文： 内政部
Hóu，Zhé;大卫·萨南;蒂乌，阿尔文;刘，杨 分离逻辑中断言的证明策略。 （英语） Zbl 1483.03004号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10499, 285-303 (2017).MSC公司：03B35型 03B70号 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hóu}等人，Lect。注释计算。科学。10499，285--303（2017；Zbl 1483.03004） 全文： 内政部 链接
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林（Dominique Larchey-Wendling）;丹尼尔·梅里 一个量化变量的分离逻辑。 （英语） Zbl 1435.68117号 理论计算。系统。 61，第2号，371-461（2017）.MSC公司：65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，理论计算。系统。61，编号2371-461（2017；兹bl 1435.68117） 全文： 内政部 哈尔
Stephane德米里;Deters，摩根 具有两个变量且没有分离连接的分离逻辑的表达完备性。 （英语） Zbl 1367.03053号 ACM事务处理。计算。日志。 17，第2号，第12条，44页（2016年）.MSC公司：03B70号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，ACM Trans。计算。日志。17，第2号，第12条，44页（2016；Zbl 1367.03053） 全文： 内政部
Hóu，Zhé;蒂乌，阿尔文 一阶抽象分离逻辑的完备性。 （英语） Zbl 1485.03077号 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10017, 444-463 (2016).MSC公司：03B70号 03B35型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hóu}和\textit{A.Tiu}，Lect。注释计算。科学。10017、444--463（2016；Zbl 1485.03077） 全文： 内政部 arXiv公司
约瑟夫·布杜 具有并行组合的命题动态逻辑的复杂性最优决策过程。 （英语） Zbl 1475.68075号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9706, 373-388 (2016).MSC公司：68纳米30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}，莱克特。注释计算。科学。9706373--388（2016；Zbl 1475.68075） 全文： 内政部 链接
斯特凡·德姆里;Deters，摩根 分离逻辑和方式：一项调查。 （英语） Zbl 1398.03151号 J.应用。非类别。日志。 25，第1期，50-99（2015）.MSC公司：03B70号 03B25号 03B44号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，J.Appl。非类别。日志。25，第1号，50--99（2015；Zbl 1398.03151） 全文： 内政部 哈尔
斯特凡·德姆里;Deters，摩根 二元分离逻辑及其内圈。 （英语） Zbl 1354.03036号 ACM事务处理。计算。日志。 16，第2号，第15条，第36页（2015年）.MSC公司：03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛S.Demri｝和\textit｛M.Deters｝，ACM翻译。计算。日志。16，第2号，第15条，36页（2015；Zbl 1354.03036） 全文： 内政部 哈尔
兰科·拉齐奇;西尔万·施密茨 分支VASS、MELL和扩展的非基本复杂性。 （英语） 兹比尔1354.68128 ACM事务处理。计算。日志。 16，第3号，第20条，第30页（2015年）.MSC公司：65年第68季度 03楼52 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić}和\textit{S.Schmitz}，ACM Trans。计算。日志。16，第3号，第20条，30页（2015；Zbl 1354.68128） 全文： 内政部 arXiv公司
约瑟夫·布杜 具有分离并行组合的PDL的指数模型性质。 （英语） Zbl 1465.68045号 Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。勒克特。注释计算。科学。9234, 129-140 (2015).MSC公司：68纳米30 03B70号 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}，莱克特。注释计算。科学。9234、129--140（2015年；Zbl 1465.68045） 全文： 内政部 链接
詹姆斯·布罗瑟斯顿;马克斯·卡诺维奇 命题分离逻辑及其邻域的不确定性。 （英语） Zbl 1295.68166号 美国临床医学杂志 第61号第2条第14条第43页（2014年）.MSC公司：68问题85 03天35分 03B70号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{M.Kanovich}，J.ACM 61，第2号，第14条，43页（2014；Zbl 1295.68166） 全文： 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 （英语） Zbl 1262.03051号 Inf.计算。 211, 106-137 (2012). 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：03B70号 03B25号 68纳米30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人，《信息计算》。211106-137（2012年；兹bl 1262.03051） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling） 通过组语义将Minsky机器直接模拟为经典的集群逻辑。 （英语） Zbl 1343.03021号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265369-387（2010）。MSC公司：03B47号 03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}，电子。注释Theor。计算。科学。265369-387（2010年；Zbl 1343.03021） 全文： 内政部
詹姆斯·布罗瑟斯顿 聚束逻辑的统一显示证明理论。 （英语） Zbl 1343.03018号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265197-211（2010）。MSC公司：03B47号 03B70号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}，电子。注释Theor。计算。科学。265197-211（2010；Zbl 1343.03018） 全文： 内政部