机译:模态逻辑,真相和主模态
Department of Computer Science Roskilde University;
homophonic theories of truth; hybrid logic; modal logic;
机译:Belnap-Dunn模态逻辑:真相常数与 真理价值
机译:有限模型的真相定义的模态逻辑
机译:有限型号的真理定义的模态逻辑
机译:迈向无类型的方式和真理的逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:反应模态与目标模态:交叉模态倾斜匹配任务中的感官转换和比较
机译:Kripke-Feferman真理的模态逻辑