伊恩·霍德金森 一阶逻辑的松散保护片段具有有限模型性质。 (英语) Zbl 0998.03003号 螺柱日志。 70,第2期,205-240(2002). 摘要:我们证明了一阶逻辑的松散保护和封装片段具有有限模型性质。我们使用的是赫维格和赫鲁绍夫斯基的建筑。我们指出了时间谓词逻辑和代数逻辑中的一些结果。 引用于16文件 MSC公司: 03秒20 经典逻辑子系统(包括直觉逻辑) 03B45号 模态逻辑(包括规范逻辑) 03C07号机组 一阶语言和结构的基本性质 03C13号机组 有限结构模型理论 03C30号 其他模型构造 03G15年 柱代数和多代数;关系代数 03B44号 时间逻辑 关键词:松散防护碎片;有限结构;模态逻辑;模态碎片;填充碎片;集团保护的碎片;赫维格定理;一阶逻辑片段;有限模型特性;时态谓词逻辑;代数逻辑 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森},Stud.Log。70,第2号,205--240(2002;Zbl 0998.03003) 全文: 内政部