会员服务
Uniform interpolation with constructive diamond
Arxiv
0+阅读 · 5月27日
Set-like operations on propositional logic programs
Arxiv
0+阅读 · 6月1日
Uniform Interpolation
Arxiv
0+阅读 · 6月6日
A Two-Watched Literal Scheme for First-Order Logic
Arxiv
0+阅读 · 5月20日
On the Complexity of Entailment for Cumulative Propositional Dependence Logics
Arxiv
0+阅读 · 5月20日
Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 5月6日
Continuations and Completeness in Proof-theoretic Semantics
Arxiv
0+阅读 · 5月6日
A Proof-theoretic Semantics for Intuitionistic Linear Logic
Arxiv
0+阅读 · 6月11日
Interpolation in Classical Propositional Logic
Arxiv
0+阅读 · 2月23日
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Arxiv
0+阅读 · 2月26日
Uniform interpolation with constructive diamond
Arxiv
0+阅读 · 2月18日
Expressive Power of Graph Transformers via Logic
Arxiv
0+阅读 · 2月18日
Reintroducing the Second Player in EPR
Arxiv
0+阅读 · 2月18日
Craig Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 2月17日
Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces
Arxiv
0+阅读 · 2月16日
参考链接
微信扫码咨询专知VIP会员
Top