加载中…
2025-03-24
Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
Philippe BalbianiCigdem Gencer
文献摘要
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and simpler decidability proofs for FIK and LIK.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本