Cognition; Logic; Computers; Language; Belief; Epistemic knowledge; Doxastic logic; Opinion; Axiomatic;
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:动态认知逻辑,动态Doxastic Logics kripke系统的视角调查
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:经验和逻辑学的形式研究。
机译:量子计算逻辑中的概率和认知操作
机译:动态Doxastic逻辑中的等价信念