机译:早期分析哲学的模态和逻辑,1卷1
机译:早期分析哲学的模态和逻辑,1卷1
机译:模态树Rod Girle:模态逻辑与哲学,第二版,达勒姆(Durham),敏敏,2009年,第viii + 248页,£19.99 PB。
机译:表格逻辑KB,KDB,K5,KD5的解析Tableau系统和内插
机译:复杂性重新审视了哲学的不同方法,复杂性的逻辑和分析
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:中世纪哲学科学和逻辑研究。论文集1933–1969
机译:模态逻辑是否有效?还是通过信息,证明,模态逻辑和Hintikka再次进行分析