Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/37971
Title: | Relation-changing models meet paraconsistency |
Author: | Costa, Diana Figueiredo, Daniel Martins, Manuel A. |
Issue Date: | 15-Mar-2023 |
Publisher: | Elsevier |
Abstract: | Switch graphs are graph-like structures characterized by embedding higher-level edges (edges that link to other edges) to describe reactive phenomena. When an edge of such structure is traversed, the accessibility relation of this graph can be changed by adding/removing edges. Relation-changing models have been used to represent phenomena in diverse fields (from Biology to Computer Science) and some modal languages were introduced recently. In this paper we introduce four-valued local information in switch graphs, and propose a paraconsistent logic to study these systems. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/37971 |
DOI: | 10.1016/j.jlamp.2023.100870 |
ISSN: | 2352-2208 |
Publisher Version: | https://www.sciencedirect.com/science/article/pii/S235222082300024X?via%3Dihub |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S235222082300024X-main.pdf | 476.89 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.