会员服务
《纯逻辑与应用逻辑年鉴》杂志在数学逻辑的各个领域以及逻辑在数学、理论计算机科学和其他相关学科的应用方面发表了高质量的论文。此外，《纯逻辑与应用逻辑年鉴》偶尔会以纯逻辑与应用逻辑出版精选会议论文专刊。官网链接：https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/about/aims-and-scope
The Undecidability of Quantified Announcements
Arxiv
0+阅读 · 6月6日
The Undecidability of Quantified Announcements
Arxiv
0+阅读 · 5月24日
A fast offline/online forward solver for stationary transport equation with multiple inflow boundary conditions and varying coefficients
Arxiv
0+阅读 · 1月6日
Satisfiability of Quantified Boolean Announcements
Arxiv
0+阅读 · 2022年6月2日
Quantifying over Boolean announcements
Arxiv
0+阅读 · 2022年1月20日
Quantifying over Boolean announcements
Arxiv
0+阅读 · 2021年12月24日
Quantifying over Boolean announcements
Arxiv
0+阅读 · 2021年10月13日
No Finite Model Property for Logics of Quantified Announcements
Arxiv
0+阅读 · 2021年6月22日
Quantifying over Boolean announcements
Arxiv
0+阅读 · 2020年11月16日
Positive Announcements
Arxiv
0+阅读 · 2020年7月22日
Positive Announcements
Arxiv
0+阅读 · 2020年2月19日
Positive Announcements
Arxiv
0+阅读 · 2019年1月22日
Quantifying over boolean announcements
Arxiv
0+阅读 · 2018年12月9日
Tracking chains revisited
Arxiv
0+阅读 · 2017年10月5日
Positive Announcements
Arxiv
0+阅读 · 2018年3月5日
参考链接
父主题
计算机科学理论
Elsevier
微信扫码咨询专知VIP会员
Top