会员服务
Uniform interpolation with constructive diamond
Arxiv
0+阅读 · 5月27日
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Arxiv
0+阅读 · 6月2日
On the local consequence of modal Product logic: standard completeness and decidability
Arxiv
0+阅读 · 5月14日
Arrow-Type Impossibility for Genuinely Modal Judgments
Arxiv
0+阅读 · 5月22日
Cut-Elimination for the Bimodal Logic GR
Arxiv
0+阅读 · 5月15日
The Size of Interpolants in Modal Logics
Arxiv
0+阅读 · 5月14日
A Proof-Theoretic Study of Modal Logic
Arxiv
0+阅读 · 5月18日
Higher-order Kripke models for intuitionistic and non-classical modal logics
Arxiv
0+阅读 · 5月5日
Graded Monad Coalgebras for Continuous-Time Transition Systems
Arxiv
0+阅读 · 5月7日
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
Arxiv
0+阅读 · 5月5日
Efficient Decision Procedures for RNmatrix Semantics
Arxiv
0+阅读 · 5月6日
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
Arxiv
0+阅读 · 5月27日
Efficient Decision Procedures for RNmatrix Semantics
Arxiv
0+阅读 · 5月3日
An Undecidability Proof for the Plan Existence Problem
Arxiv
0+阅读 · 4月24日
Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
Arxiv
0+阅读 · 3月13日
参考链接
微信扫码咨询专知VIP会员
Top