Department of Mathematical Logic, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Leninskie Gory, Moscow, 119992, Russia;
机译:关于K * K * K和S5 * S5 * S5之间的模态逻辑
机译:动态认知逻辑的符号模型检查-S5及更高版本
机译:在S5认知时间逻辑中使用下一步时间运算符表征完美召回
机译:认知模态逻辑S5的证据重建
机译:定时模态认知逻辑。
机译:量子计算逻辑中的概率和认知操作
机译:关于K×K×K和s5×s5×s5之间的模态逻辑
机译:认知逻辑中的分级模态。