Please use this identifier to cite or link to this item:
logo share SHARE BASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE

On many-valued modal logics and uncertainty logics for many-valued events

AuthorsGodo, Lluis CSIC ORCID
KeywordsParaconsistent logics
Many-valued modal logics
Issue Date15-Nov-2017
PublisherUniversité de Toulouse
Citation7th international workshop on Many-Valued Logic Toulouse, ManyVal'17, November 15-17, 2017
AbstractIn this talk we will consider two kinds of modal expansions of t-norm based fuzzy logics. The first kind follow from generalizing Kripke frames where models, with many-valued worlds and accessibility relations. We will overview current state of the art, with axiomatisations and complexity issues where available. The second kind of formalisms have appeared as simpler (non-nested fragments) but flexible enough logics to reason with graded notions of uncertainty (probability, possibility), preference of similarity, even when applied to many-valued or fuzzy events. We will exemplify the use of both kinds of modal logics to define a logic for belief functions on mv-algebras of events.
Appears in Collections:(IIIA) Comunicaciones congresos

Files in This Item:
File Description SizeFormat
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

Google ScholarTM


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.