会员服务
Intuitionistic modal logic LIK4 is decidable
Arxiv
0+阅读 · 12月4日
Cyclic Proofs for iGL via Corecursion
Arxiv
0+阅读 · 11月4日
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
Arxiv
0+阅读 · 12月3日
Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
Arxiv
0+阅读 · 11月24日
Intrinsic and relative characterization results for logics with negative modalities
Arxiv
0+阅读 · 12月17日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 12月15日
The Size of Interpolants in Modal Logics
Arxiv
0+阅读 · 11月6日
Non-Monotonic S4F Standpoint Logic
Arxiv
0+阅读 · 11月13日
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Arxiv
0+阅读 · 11月16日
Quantum modal logic
Arxiv
0+阅读 · 11月13日
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Arxiv
0+阅读 · 2023年5月2日
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
Arxiv
0+阅读 · 2023年4月20日
Characterising Modal Formulas with Examples
Arxiv
0+阅读 · 2023年4月17日
Canonicity in Modal Lambda Calculus
Arxiv
0+阅读 · 2023年4月11日
Lilac: a Modal Separation Logic for Conditional Probability
Arxiv
0+阅读 · 2023年4月3日
参考链接
微信扫码咨询专知VIP会员
Top