配件，梅尔文 关于量化模态逻辑。 （英语） 兹伯利0936.03019 芬丹。通知。 39，编号1-2，105-121（1999）. 作者以一种有趣的方式提出了一阶模态逻辑的自然且表现良好的版本。在这种方法中，可以解决由具有非刚性项的标准一阶模态逻辑的语法歧义引起的众所周知的问题（例如，Frege晨星/晚星问题）。这个想法可以追溯到B.Russell，由R.Stalnaker先生和R.托马森[“一阶模态逻辑中的抽象”，《理论》34，203-207（1968）]。它相当于分离公式和谓词的概念。拟合使用了谓词抽象的概念，对于每个公式\（\alpha（x）\），\（\langle\lambda x.\alpha（x）\rangle\）是从\（\alpha（x）\）中抽象出来的谓词。考虑了上述Frege问题、不指定、存在与指定、动态逻辑中的赋值语句和Herbrand定理等问题。最后，描述并举例说明了表格证明方法。审核人：安娜·戈莫利安斯卡（比亚莱斯托克） 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：量化模态逻辑;谓词抽象;表格证明法 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting}，芬丹。通知。39，编号1--2，105-121（1999；Zbl 0936.03019）