Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/28084
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Jain, Manisha | pt_PT |
dc.contributor.author | Madeira, Alexandre | pt_PT |
dc.contributor.author | Martins, Manuel A. | pt_PT |
dc.date.accessioned | 2020-03-26T16:41:46Z | - |
dc.date.available | 2020-03-26T16:41:46Z | - |
dc.date.issued | 2020-03 | - |
dc.identifier.issn | 1571-0661 | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10773/28084 | - |
dc.description.abstract | This paper intends to contribute with a new fuzzy modal logic to model and reason about transition systems involving uncertainty in behaviours. Our formalism supports fuzziness at transitions and on the proposition symbols assignment levels. Against of other approaches in the literature, our bisimulation and bisimilarity notions generalise the analogous standard notions of classic modal logic and of process algebras. Moreover, the outcome of our logic is also fuzzy, with the semantic interpretation of connectives supported by the Gödel algebra. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | Elsevier | pt_PT |
dc.relation | POCI-01-0145-FEDER-016692 | pt_PT |
dc.relation | UID/MAT/04106/2019 | pt_PT |
dc.rights | restrictedAccess | pt_PT |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
dc.subject | Bisimulation | pt_PT |
dc.subject | Simulation | pt_PT |
dc.subject | Fuzzy transition systems | pt_PT |
dc.subject | Modal logic | pt_PT |
dc.subject | Gödel algebra | pt_PT |
dc.title | A fuzzy modal logic for fuzzy transition systems | pt_PT |
dc.type | article | pt_PT |
dc.description.version | published | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.firstPage | 85 | pt_PT |
degois.publication.lastPage | 103 | pt_PT |
degois.publication.title | Electronic Notes in Theoretical Computer Science | pt_PT |
degois.publication.volume | 348 | pt_PT |
dc.identifier.doi | 10.1016/j.entcs.2020.02.006 | pt_PT |
dc.identifier.essn | 1571-0661 | pt_PT |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S1571066120300062-main.pdf | 276.3 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.