会员服务
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
Arxiv
0+阅读 · 2月19日
Uniform interpolation with constructive diamond
Arxiv
0+阅读 · 2月18日
Interpolation in Proof Theory
Arxiv
0+阅读 · 2月18日
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
Arxiv
0+阅读 · 2月18日
Computation and Size of Interpolants for Hybrid Modal Logics
Arxiv
0+阅读 · 2月17日
Bounded Modal Logic
Arxiv
0+阅读 · 2月10日
Non-Expansive Fuzzy Coalgebraic Logic
Arxiv
0+阅读 · 2月12日
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
Arxiv
0+阅读 · 2月12日
Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
Arxiv
0+阅读 · 2月12日
Modal Logical Neural Networks
Arxiv
0+阅读 · 2月12日
The proof theory and semantics of second-order (intuitionistic) tense logic
Arxiv
0+阅读 · 2月5日
Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
Arxiv
0+阅读 · 2月2日
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
Arxiv
0+阅读 · 1月29日
The Modal Logic of Abstraction Refinement
Arxiv
0+阅读 · 1月13日
Simplicial Belief
Arxiv
0+阅读 · 1月12日
参考链接
微信扫码咨询专知VIP会员
Top