模态等价公式相关硕士博士期刊学术论文 - 搜论网

模态等价公式相关论文

模态逻辑两个定理的基于向前向后方法的证明

向前向后方法是模型论及其应用研究中的一个新的工具.本文使用向前向后方法,对模态逻辑的两个定理构造了一种简单的证明.......

期刊

模态逻辑向前向后方法模态内插定理 VanBenthem定理模态等价公式 modal logic back and forth method

看过本文同时还关注