摘要

系统分类为多式联运如果其语言中有多个模态运算符作为基元,并且这些运算符是不可互定义的。我们扩展了Bueno-Soler(2009,J.应用。非经典逻辑,19,291–310)和Bueno-Soler(2009,博士论文),以一类所谓的基本多模态系统为例,通过这种方式生成阳极和阴极多模逻辑阴极多峰系统被定义为正多峰系统(阳极多峰系统)的扩展,通过添加否定度加上一致性(和不一致性)算子。这样,阴极多模系统是形式上不一致的逻辑[如Carnielli中所述的次一致LFI等。(2007,哲学逻辑手册,Springer)]丰富了多模运算符。我们将重点放在此类系统的模型上,并讨论如何定义模态可能翻译语义以及可能世界(或克里普克语义)来解释基本阴极多模态系统。虽然阳极系统仅由克里普克模型建模,但我们介绍了阴极系统的模态可能转换模型。这些模型由三值模态逻辑的组合给出,除了它们自身的利益外,还解释了非竞争性矛盾在多模态环境中的作用。

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