...
ILLC, University of Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam (Netherlands) & Stanford University Department of Philosophy Stanford, California 94305 (USA);
Departement d'Etudes Cognitives & IHPST Ecole Normale Superieure 29, rue d'Ulm 75005 Paris (France);
modal logic; dynamic logic; bisimulation; safety; invariance; abstract model theory;
机译:多值模态逻辑中的框架构造,真理不变性和有效性保留
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:大脑系统介导聋哑本位签名者的语义和句法处理:生物不变性和形态特异性
机译:多值模态逻辑中的框架结构,真理不变性和有效性保存