Expressivity in chain-based modal logics

被引：12
作者：
Marti, Michel [1 ]
Metcalfe, George [2 ]
机构：
[1] Univ Bern, Inst Comp Sci, Neubruckstr 10, CH-3012 Bern, Switzerland
[2] Univ Bern, Math Inst, Sidlerstr 5, CH-3012 Bern, Switzerland
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2018年 / 57卷 / 3-4期
基金：
瑞士国家科学基金会;
关键词：
Modal logic; Many-valued logic; Bisimulation; Modal equivalence; Hennessy-Milner property; DECIDABILITY; ALGEBRAS;
D O I：
10.1007/s00153-017-0573-4
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy-Milner property are established for classes of image-finite and (appropriately defined) modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval [0, 1] as a lattice reduct, including Aukasiewicz, Godel, and product modal logics.
引用
收藏
页码：361 / 380
页数：20
相关论文
共 29 条
  • [1] Varieties of BL-algebras I: general properties
    Agliano, P
    Montagna, F
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2003, 181 (2-3) : 105 - 129
  • [2] [Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science
  • [3] Expressivity of Many-Valued Modal Logics, Coalgebraically
    Bilkova, Marta
    Dostal, Matej
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 109 - 124
  • [4] The limits of decidability in fuzzy description logics with general concept inclusions
    Borgwardt, Stefan
    Distel, Felix
    Penaloza, Rafael
    [J]. ARTIFICIAL INTELLIGENCE, 2015, 218 : 23 - 55
  • [5] On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
    Bou, Felix
    Esteva, Francesc
    Godo, Lluis
    Oscar Rodriguez, Ricardo
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (05) : 739 - 790
  • [6] Decidability of order-based modal logics
    Caicedo, Xavier
    Metcalfe, George
    Rodriguez, Ricardo
    Rogger, Jonas
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 88 : 53 - 74
  • [7] Bi-modal Godel logic over [0,1]-valued Kripke frames
    Caicedo, Xavier
    Oscar Rodriguez, Ricardo
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2015, 25 (01) : 37 - 55
  • [8] Standard Godel Modal Logics
    Caicedo, Xavier
    Rodriguez, Ricardo O.
    [J]. STUDIA LOGICA, 2010, 94 (02) : 189 - 214
  • [9] Cignoli Roberto, 1999, Trends in Logic, V7
  • [10] Diaconescu D., 2016, P AIML 2016, P236
123