会员服务
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 1月2日
A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
Arxiv
0+阅读 · 2025年12月31日
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
Arxiv
0+阅读 · 2025年12月28日
When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
Arxiv
0+阅读 · 2025年12月19日
Logical Characterizations of GNNs with Mean Aggregation
Arxiv
0+阅读 · 2025年12月19日
Declarative distributed broadcast using three-valued modal logic and semitopologies
Arxiv
0+阅读 · 2025年12月24日
Intuitionistic modal logic LIK4 is decidable
Arxiv
0+阅读 · 2025年12月4日
Cyclic Proofs for iGL via Corecursion
Arxiv
0+阅读 · 2025年11月4日
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
Arxiv
0+阅读 · 2025年12月3日
Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
Arxiv
0+阅读 · 2025年11月24日
Intrinsic and relative characterization results for logics with negative modalities
Arxiv
0+阅读 · 2025年12月17日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 2025年12月15日
The Size of Interpolants in Modal Logics
Arxiv
0+阅读 · 2025年11月6日
Non-Monotonic S4F Standpoint Logic
Arxiv
0+阅读 · 2025年11月13日
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Arxiv
0+阅读 · 2025年11月16日
参考链接
微信扫码咨询专知VIP会员
Top