Modal systems based on many-valued logics

被引：0
|
作者：
Bou, F. [1 ]
Esteva, F. [1 ]
Godo, L. [1 ]
机构：
[1] CSIC, IIIA, Bellaterra 08193, Spain
来源：
NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS | 2007年
关键词：
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 条
  • [31] Many-Valued Modal Logic
    Karniel, Amir
    Kaminski, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (415):
  • [32] Institutional semantics for many-valued logics
    Diaconescu, Razvan
    FUZZY SETS AND SYSTEMS, 2013, 218 : 32 - 52
  • [33] Lewis Dichotomies in Many-Valued Logics
    Bova, Simone
    STUDIA LOGICA, 2012, 100 (06) : 1271 - 1290
  • [34] Years ago - Many-valued logics
    Gray, JJ
    MATHEMATICAL INTELLIGENCER, 1996, 18 (02): : 23 - 25
  • [35] Nonstandard methods in many-valued logics
    C. A. Drossos
    Soft Computing, 1998, 2 (3) : 129 - 133
  • [36] Conditionals and Independence in Many-Valued Logics
    Mundici, Daniele
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 16 - 21
  • [37] Tutorial:: Complexity of many-valued logics
    Hähnle, R
    31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 137 - 146
  • [38] Classical Resolution for Many-Valued Logics
    Marcos J.
    Nalon C.
    1600, Elsevier B.V., Netherlands (323): : 253 - 270
  • [39] Many-Valued Logics and Bivalent Modalities
    Bezerra, E.
    Venturi, G.
    LOGIC AND LOGICAL PHILOSOPHY, 2022, 31 (04) : 611 - 636
  • [40] Measuring inconsistency with many-valued logics
    Thimm, Matthias
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 86 : 1 - 23
12345