雷恩·Rönnholm 关于具有(k)不变原子的群关系的可定义性。 (英语) Zbl 07587330号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103136,22 p.(2022).MSC公司:03B15号机组 03B70号 03C13号机组 03元52分 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rönnholm},Ann.纯粹应用。逻辑173,第10号,文章ID 103136,22页(2022;Zbl 07587330) 全文: 内政部
朱哈·科廷宁;阿恩·迈尔;亚西尔·马哈茂德 关于依赖逻辑复杂性的参数化视图。 (英语) Zbl 07551715号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13137, 125-142 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}等人,Lect。注释计算。科学。13137125-142(2022;Zbl 07551715) 全文: 内政部 arXiv公司 链接
彼得罗·加利亚尼 团队语义中的安全依赖原子和可能性操作符。 (英语) Zbl 1524.03024号 Inf.计算。 278,文章ID 104593,18 p.(2021).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},Inf.计算。278,文章ID 104593,18 p.(2021;Zbl 1524.03024) 全文: 内政部 arXiv公司
雷恩·Rönnholm (k)元排除逻辑的表达能力。 (英语) Zbl 1477.03104号 Ann.纯粹应用。逻辑 170,第9期,1070-1099(2019).MSC公司:03B60号 03B16号 03C80号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rönnholm},Ann.纯粹应用。逻辑170,第9号,1070--1099(2019;Zbl 1477.03104) 全文: 内政部
彼得罗·加利亚尼 描述向下闭合、强一阶、可相对化的依赖关系。 (英语) Zbl 1468.03031号 J.塞姆。日志。 84,第3期,1136-1167(2019).MSC公司:03B60号 03C80号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},J.塞姆。日志。84,第3号,1136--1167(2019;Zbl 1468.03031) 全文: 内政部 arXiv公司
彼得罗·加利亚尼 团队语义中的安全依赖原子和可能性操作符。 (英语) Zbl 1524.03025号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27758-72(2018)。MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},电子。程序。西奥。计算。科学。(EPTCS)277,58--72(2018;Zbl 1524.03025) 全文: arXiv公司 链接
彼得罗·加利亚尼 不完美信息的动态逻辑:从团队和游戏到过渡。 (英语) Zbl 1437.03062号 van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:斯普林格。Outst公司。控制日志。1299-315(2018年)。MSC公司:03B42型 03B52号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},Outst。控制日志。12、299--315(2018;Zbl 1437.03062) 全文: 内政部 arXiv公司
雷恩·Rönnholm 使用元包含排除逻辑捕获元存在二阶逻辑。 (英语) Zbl 1477.03103号 Ann.纯粹应用。逻辑 169,编号3,177-215(2018).MSC公司:03B60号 03B16号 03C80号 03立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{R.Rönnholm},Ann.纯粹应用。逻辑169,No.3,177--215(2018;Zbl 1477.03103) 全文: 内政部 arXiv公司
林克,塞巴斯蒂安 不完全数据的概率条件独立和层次依赖子类的近似逻辑。 (英语) Zbl 1429.03093号 Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。183-217 (2016).MSC公司:03B48号 60A05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Link},in:依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的发言,选出论文。巴塞尔:Birkhäuser/Springer。183-217(2016;Zbl 1429.03093) 全文: 内政部
彼得罗·加利亚尼 关于强一阶依赖性。 (英语) Zbl 1429.03116号 Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。53-71 (2016).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.Galliani},in:依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的发言,选出论文。巴塞尔:Birkhäuser/Springer。53-71(2016年;Zbl 1429.03116) 全文: 内政部 arXiv公司
阿诺·杜兰德;朱哈·科廷宁;赫里贝特·沃尔默 依赖逻辑的表达性和复杂性。 (英语) Zbl 1429.03114号 Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。5-32 (2016).MSC公司:03B60号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,in:依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的发言,选出论文。巴塞尔:Birkhäuser/Springer。5--32(2016年;Zbl 1429.03114) 全文: 内政部
雷恩·Rönnholm (k)元排除逻辑的表达能力。 (英语) Zbl 1477.03102号 Väänänen,Jouko(编辑)等人,《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9803, 375-391 (2016).MSC公司:03B60号 03B16号 03C80号 03C85号 PDF格式BibTeX公司 XML格式引用 \文本{R.Rönnholm},勒克特。注释计算。科学。9803,375-391(2016年;兹比尔1477.03102) 全文: 内政部 arXiv公司
阿诺·杜兰德;朱哈·科廷宁;尼古拉斯·德鲁吉·阿尔特尔;Väänänen,佐科 团队语义中数据复杂性的可追溯性边界。 (英语) Zbl 1476.68146号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,73-85(2015)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,《电子》。程序。西奥。计算。科学。(EPTCS)193,73--85(2015;Zbl 1476.68146) 全文: arXiv公司 链接
林克,塞巴斯蒂安 关于概率条件独立片段和层次数据库分解的命题推理的前沿。 (英语) 兹比尔1330.68279 西奥。计算。科学。 603, 111-131 (2015).MSC公司:68T27型 第68页,共15页 68层37 PDF格式BibTeX公司 XML格式引用 \文本{S.Link},Theor。计算。科学。60311-131(2015年;Zbl 1330.68279) 全文: 内政部
彼得罗·加利亚尼;Väänänen,佐科 依赖逻辑。 (英语) Zbl 1325.03028号 Baltag,Alexandru(编辑)等人,Johan van Benthem,关于逻辑和信息动力学。查姆:施普林格(ISBN 978-3-319-06024-8/hbk;978-3-3169-06025-5/电子书)。《逻辑学杰出贡献》5,101-119(2014)。 审核人:亚历克斯·西特金(沃伦) MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼}和\textit{J.Väänänen},奥斯特。控制日志。5、101-119(2014;Zbl 1325.03028) 全文: 内政部 arXiv公司
彼得罗·加利亚尼 模态依赖逻辑的动态化。 (英语) Zbl 1305.03018号 J.逻辑语言信息。 22,第3期,269-295(2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Galliani},J.Logic Lang.Inf.22,No.3,269--295(2013;Zbl 1305.03018) 全文: 内政部 arXiv公司
朱哈·科廷宁;Väänänen,佐科 公理化依赖逻辑中的一阶结果。 (英语) Zbl 1315.03062号 Ann.纯粹应用。逻辑 164,编号11,1101-1117(2013).MSC公司:03C80号 03B15号机组 03B60号 03C85号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}和\textit{J.Väänänen}.《纯粹应用》。逻辑164,No.11,1101--1117(2013;Zbl 1315.03062) 全文: 内政部 arXiv公司
彼得罗·加利亚尼 团队语义中的包含和排除依赖关系——基于不完美信息的某些逻辑。 (英语) Zbl 1250.03047号 Ann.纯粹应用。逻辑 163,第1期,68-84(2012).MSC公司:03B60号 03C80号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},安。纯苹果。逻辑163,No.1,68--84(2012;Zbl 1250.03047) 全文: 内政部 arXiv公司