机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
Department of Mathematics University of Zagreb">(1);
School of Informatics University of Edinburgh">(2);
Faculty of Agriculture University of Zagreb">(3);
Provability logic; Interpretability logic; GL-models; Veltman models; Bisimulation; Modal equivalence;
机译:关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:可见的双仿真等效项-时间逻辑验证的统一抽象
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:单子直觉和模态逻辑承认可证明性
机译:等效测试的逻辑及其在实验室医学中的应用
机译:具有限制性的可证明和可解释性逻辑
机译:相对可解释性的可证性逻辑