机译:HITIKKA的独立友好逻辑符合尼尔森的可实现性
Sobolev Inst Math 4 Koptyug Ave Novosibirsk 630090 Russia;
St Petersburg State Univ 29B Line 14th St Petersburg 199178 Vasilyevsky Isl Russia;
Novosibirsk State Univ 2 Pirogova St Novosibirsk 630090 Russia;
Independence-friendly logic; Game-theoretic semantics; Trump semantics; Constructivism; Realizability; Strong negation;
机译:HITIKKA的独立友好逻辑符合尼尔森的可实现性
机译:独立友好的模态逻辑和真正的并发
机译:逻辑的创新与应用:Jaakko HITIKKA采访
机译:没有Henkin量化的独立友好逻辑
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:当快速逻辑遇到慢速信念时:信念偏差并行处理模型的证据
机译:模态逻辑是否有效?还是通过信息,证明,模态逻辑和Hintikka再次进行分析
机译:确保不可实现的二阶闭包的可实现性的方法