Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/43170
Title: | Specification of paraconsistent transition systems, revisited |
Author: | Cunha, Juliana Madeira, Alexandre Barbosa, Luís Soares |
Keywords: | Paraconsistent logic Specification theory Dynamic logic Modal logic |
Issue Date: | Feb-2025 |
Publisher: | Elsevier |
Abstract: | The need for more flexible and robust models to reason about systems in the presence of conflicting information is becoming more and more relevant in different contexts. This has prompted the introduction of paraconsistent transition systems, where transitions are characterized by two pairs of weights: one representing the evidence that the transition effectively occurs and the other its absence. Such a pair of weights can express scenarios of vagueness and inconsistency. This paper establishes a foundation for a compositional and structured specification approach of paraconsistent transition systems, framed as paraconsistent institution. The proposed methodology follows the stepwise implementation process outlined by Sannella and Tarlecki. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/43170 |
DOI: | 10.1016/j.scico.2024.103196 |
ISSN: | 0167-6423 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S0167642324001199-main.pdf | 811.7 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.