巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 (英语) 兹伯利07672671 ACM事务处理。计算。日志。 24,第2期,第12号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,《美国医学杂志》。计算。日志。24,第2号,第12号论文,46页(2023年;Zbl 07672671) 全文: 内政部
塞巴斯蒂安·恩奎斯特;瓦伦丁·戈兰科 并发多人游戏中联盟目标分配的时间逻辑。 (英语) Zbl 1505.03048号 ACM事务处理。计算。日志。 23,第4条,第21条,58页(2022年).MSC公司:03B44号 03B70号 68问题85 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{V.Goranko},ACM Trans。计算。日志。23,第4号,第21条,58页(2022年;Zbl 1505.03048) 全文: 内政部 arXiv公司
奥兰德利,尤金尼奥 非正规模态逻辑和道义逻辑的序列演算和插值。 (英语) Zbl 1517.03018号 日志。日志。菲洛斯。 30,第1号,139-183(2021).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlandelli},日志。日志。菲洛斯。30,编号1,139--183(2021;Zbl 1517.03018) 全文: 内政部 arXiv公司
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 (mu)-演算的完备性:一种联合算法。 (英语) Zbl 1443.03012号 Ann.纯粹应用。逻辑 170,第5号,578-641(2019). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:03B45号 03B70号 60年第68季度 91A43型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Ann.Pure Appl。逻辑170,No.5,578--641(2019;Zbl 1443.03012) 全文: 内政部
克莱门斯·库普克 协代数逻辑与对偶。 (英语) Zbl 1520.03017号 科琳娜(Corina)(编辑),《计算机科学中的协同代数方法》(Coalgebraic methods in computer science)。2018年4月14日至15日,第14届IFIP工作组1.3国际研讨会,CMCS 2018,与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11202, 6-12 (2018).MSC公司:03G30型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke},莱克特。注释计算。科学。11202,6-12(2018年;兹bl 1520.03017) 全文: 内政部 哈尔
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 模态演算的完备性:从动力学中分离组合学。 (英语) Zbl 1391.68077号 西奥。计算。科学。 727, 37-100 (2018).MSC公司:60年第68季度 03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Theor。计算。科学。727,37--100(2018;Zbl 1391.68077) 全文: 内政部
克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 算术模态逻辑中的全局假设推理。 (英语) Zbl 1436.03136号 Kosowski,Adrian(编辑)等人,《计算理论基础》。2015年8月17日至19日,第20届国际研讨会,FCT 2015,波兰根斯克。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9210, 367-380 (2015).MSC公司:03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,Lect。注释计算。科学。9210,367--380(2015;Zbl 1436.03136) 全文: 内政部 链接
克莱门斯·库普克;德克·帕丁森 模态逻辑的协同语义:综述。 (英语) Zbl 1360.03068号 西奥。计算。科学。 412,第38号,5070-5094(2011).MSC公司:03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{D.Pattinson},Theor。计算。科学。412,第38号,5070--5094(2011;Zbl 1360.03068) 全文: 内政部
比约恩·莱尔曼;德克·帕丁森 浅模态逻辑的截消。 (英语) Zbl 1244.68069号 Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。《人工智能课堂讲稿》,211-225(2011)。 审核人:G.E.Mints(斯坦福) MSC公司:68吨15 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Lellmann}和\textit{D.Pattinson},Lect。注释计算。科学。6793、211--225(2011;Zbl 1244.68069) 全文: 内政部
卢茨·施罗德;德克·帕丁森 基于多分类余代数的异构模态逻辑模块化算法。 (英语) Zbl 1260.03061号 数学。结构。计算。科学。 21,第2期,235-266(2011).MSC公司:03B70号 03B45号 03年2月25日 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{D.Pattinson},数学。结构。计算。科学。21,第2号,235--266(2011;Zbl 1260.03061) 全文: 内政部
罗伯特·S·R·迈尔斯。;德克·帕丁森 图泛化的差分形式混合逻辑。 (英语) 兹伯利1215.03036 J.应用。日志。 8,第4号,441-458(2010).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.S.R.Myers}和textit{D.Pattinson},J.Appl。日志。8,第4号,441--458(2010;Zbl 1215.03036) 全文: 内政部
德克·帕丁森;卢茨·施罗德 余代数逻辑中的截消。 (英语) Zbl 1255.03052号 Inf.计算。 208,第12期,1447-1468(2010).MSC公司:05年3月 03G30型 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{L.Schröder},Inf.Comput。208,第12号,1447--1468(2010;Zbl 1255.03052) 全文: 内政部
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 用于联合描述逻辑的全局缓存。 (英语) Zbl 1291.03017号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。《人工智能讲义》,46-60(2010)。MSC公司:03B35型 03B45号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}等人,Lect。注释计算。科学。6173,46-60(2010;Zbl 1291.03017) 全文: 内政部
尼克·贝扎尼什维利;梅·盖尔克 自由Heyting代数:重温。 (英语) Zbl 1238.06007号 亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728251-266(2009)。MSC公司:06D20日 03G25号 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{M.Gehrke},Lect。注释计算。科学。5728251--266(2009年;Zbl 1238.06007) 全文: 内政部
科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 用于余代数\(\mu\)-演算的EXPTIME表格。 (英语) Zbl 1257.03045号 Grädel,Erich(编辑)等人,《计算机科学逻辑》。2009年9月7日至11日,第23届国际研讨会,CSL,第18届EACSL年会,葡萄牙科英布拉。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04026-9/pbk)。计算机科学课堂讲稿5771179-193(2009)。MSC公司:03B45号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人,Lect。注释计算。科学。5771、179--193(2009年;Zbl 1257.03045) 全文: 内政部 链接
罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德 协代数混合逻辑。 (英语) Zbl 1234.03020号 de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504137-151(2009)。MSC公司:03B70号 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Myers}等人,Lect。注释计算。科学。5504137-151(2009年;兹比尔1234.032020) 全文: 内政部