Modal systems based on many-valued logics

被引:0
|
作者
Bou, F. [1 ]
Esteva, F. [1 ]
Godo, L. [1 ]
机构
[1] CSIC, IIIA, Bellaterra 08193, Spain
关键词
modal many-valued logic; modal fuzzy logic;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic ways and analyze the existing literature with respect to this framework.
引用
收藏
页码:177 / 182
页数:6
相关论文
共 50 条
  • [1] Many-valued modal logics
    Fitting, Melvin C., 1600, (15): : 3 - 4
  • [2] Many-valued and annotated modal logics
    Akama, S
    Abe, JM
    1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS, 1998, : 114 - 119
  • [3] On transitive modal many-valued logics
    Vidal, Amandaa
    FUZZY SETS AND SYSTEMS, 2021, 407 : 97 - 114
  • [4] Expressivity of Many-Valued Modal Logics, Coalgebraically
    Bilkova, Marta
    Dostal, Matej
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 109 - 124
  • [5] Neighborhood semantics for modal many-valued logics
    Cintula, Petr
    Noguera, Carles
    FUZZY SETS AND SYSTEMS, 2018, 345 : 99 - 112
  • [6] MANY-VALUED NONMONOTONIC MODAL-LOGICS
    FITTING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 139 - 150
  • [7] MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
    Priest, Graham
    REVIEW OF SYMBOLIC LOGIC, 2008, 1 (02): : 190 - 203
  • [8] MODAL POST ALGEBRAS AND MANY-VALUED MODAL-LOGICS
    MIRCEVA, M
    VAKARELOV, DI
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1980, 33 (05): : 591 - 594
  • [9] SUBFORMULA PROPERTY IN MANY-VALUED MODAL-LOGICS
    TAKANO, M
    JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (04) : 1263 - 1273
  • [10] On the relationship between fuzzy description logics and many-valued modal logics
    Cerami, Marco
    Esteva, Francesc
    Garcia-Cerdana, Angel
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2018, 93 : 372 - 394