Department of Philosophy, University of Miami, Coral Gables, FL, 33124, USA;
Second-order logic; Nonstandard models; Semantics; Reference; Putnam; Quine; Azzouni;
机译:在与团队语义的存在二阶逻辑和逻辑的联盟关闭片段
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:具有量化可及性关系的现有二阶逻辑和模态逻辑
机译:存在定点逻辑作为二阶逻辑的一部分
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:无意识的二阶运动:被动适应二阶运动会产生运动后效应
机译:具有二阶身份的纯二阶逻辑。