机译:计数为的分类方面:模态逻辑分析
Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;
counts-as; constitutive rules; contextual classification; modal logic;
机译:直觉模态逻辑IEL和其谓词扩展的分类和代数方面
机译:子空间的模态逻辑的时间方面
机译:基于单电子阈值逻辑的可编程逻辑阵列的可靠性方面和性能分析
机译:计数 - 为:分类或宪法?使用模态逻辑的答案
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:神经认知模式分析揭示了精神分裂症注意缺陷的分类层次
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:诊断的图论理论方法:逻辑规划和割集理论在反应堆和电路分析方面的应用