贝齐奥，J.-Y。 S5是一个准一致逻辑，一阶经典逻辑也是。 （英文） Zbl 1038.03028号 Karpenko，A.S.（编辑），《逻辑研究》。9.莫斯科：瑙卡（ISBN 5-02-013231-4/hbk）。301-309 (2002). 摘要：我们提出并讨论了一个事实，即众所周知的模态逻辑S5和经典的一阶逻辑都是次协调逻辑。关于整个系列，请参见[Zbl 1007.00012号]. 引用于12文件 MSC公司： 03B53号 准一致逻辑 03B45号 模态逻辑（包括规范逻辑） 03B10号机组 经典一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Béziau}，in：Logicheskie issledovaniya。9.莫斯科：瑙卡。301-309（2002；Zbl 1038.03028）