摘要

本文主要研究与模态逻辑组合有关的三个研究问题:(i)在什么条件下,命题模态逻辑(PML)可以(框架)完备性(及其相关属性)转换为其定量对应逻辑(QML)?(ii)(框架)完整性通常是否从单峰QML转移到其多峰组合?(iii)完整性是否可以从带有刚性标识符的QML转移到带有非刚性标识符的那些QML?本文报告了有关这些问题的一些最新结果,并提供了一些新的结果。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。