Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/37971
Título: | Relation-changing models meet paraconsistency |
Autor: | Costa, Diana Figueiredo, Daniel Martins, Manuel A. |
Data: | 15-Mar-2023 |
Editora: | Elsevier |
Resumo: | 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 |
Versão do Editor: | https://www.sciencedirect.com/science/article/pii/S235222082300024X?via%3Dihub |
Aparece nas coleções: | CIDMA - Artigos AGG - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1-s2.0-S235222082300024X-main.pdf | 476.89 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.