• DocumentCode
    635863
  • Title

    On classic-like fuzzy modal logics

  • Author

    Dodo, Adriano ; Marcos, Joao ; Boone Bergamaschi, Flaulles

  • Author_Institution
    Dept. of Inf. & Appl. Math. (DIMAp), UFRN, Natal, Brazil
  • fYear
    2013
  • fDate
    24-28 June 2013
  • Firstpage
    1256
  • Lastpage
    1261
  • Abstract
    In this paper we explore classic-like aspects of Kripke models endowed with a fuzzy accessibility relation and a fuzzy notion of satisfaction, and prove a general completeness result concerning the fuzzy semantics of a generous class of normal modal systems enriched with multiple instances of the axiom of confluence.
  • Keywords
    fuzzy logic; fuzzy set theory; Kripke models; classic like fuzzy modal logics; fuzzy accessibility relation; fuzzy notion; fuzzy semantics; normal modal systems; Cost accounting;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013 Joint
  • Conference_Location
    Edmonton, AB
  • Type

    conf

  • DOI
    10.1109/IFSA-NAFIPS.2013.6608582
  • Filename
    6608582
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=635863