...
机译:一个新的模态Lindstr?m定理
Institute for Logic Language and Computation (ILLC) University of Amsterdam Plantage Muidergracht 24 NL-1018 TV Amsterdam The Netherlands;
Department of Philosophy Stanford University USA-94305-2155 Stanford CA USA;
Modal logic; abstract model theory; Lindstr?m theorem; invariance theorem; interpolation; extended modal languages; guarded fragment;
机译:一些正常模态逻辑的通用Lindström定理
机译:一些正常模态逻辑的通用Lindstr?m定理
机译:一阶逻辑片段的Lindström定理
机译:关于无割模态顺序逻辑的类似于Herbrand的定理
机译:模态逻辑的有效完整性定理。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:一种原则,用于将Lindström型LEMMAS转换为Offbridge型定理,应用程序行走,树林和交替流动