高弘佐崎;胜彦三野 常识模态谓词逻辑中的框架可定义性、规范性和截消。 （英语） Zbl 07451573号 J.日志。计算。 1933-1958（2021）第8期31号. 摘要：本文针对van Benthem提出并由Seligman进一步发展的一些常识模态谓词逻辑变体，提出了语义完备的Hilbert-style系统。本文还研究了逻辑中的框架可定义性，并说明了逻辑中什么公理模式是规范的。除了对逻辑进行这些语义研究之外，本文还为一些具有截消定理的逻辑提供了后续计算。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：常识模态谓词逻辑;模态谓词逻辑;希尔伯特式系统;矢列演算;帧可定义性 PDF格式BibTeX公司 XML格式引用 \textit｛T.Sawasaki｝和\textit｛K.Sano｝，J.日志。计算。1933年8月31日--1958年（2021年；Zbl 07451573） 全文： 内政部