会员服务
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日
Paraconsistent Gödel modal logic on bi-relational frames
Arxiv
0+阅读 · 2023年3月24日
参考链接
微信扫码咨询专知VIP会员
Top