当前位置: X-MOL 学术Arch. Math. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Monotonic modal logics with a conjunction
Archive For Mathematical Logic ( IF 0.4 ) Pub Date : 2021-04-01 , DOI: 10.1007/s00153-021-00764-9
Paula Menchón , Sergio Celani

Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.



中文翻译:

带连接的单调模态逻辑

单调模态逻辑已经出现在多个应用领域,例如计算机科学和社会选择理论。由于许多研究最多的自扩展逻辑具有连接性,因此在本文中,我们研究了从具有单调模态算子的基于半格的演绎系统中获得的一些分布扩展,并为它们提供了邻域和代数语义。对于定义的每个逻辑,我们的主要目标是证明其特征性的单调框架的完整性。

更新日期:2021-04-01
down
wechat
bug