Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/39826| Title: | Structured specification of paraconsistent transition systems |
| Author: | Cunha, Juliana Madeira, Alexandre Barbosa, Luís Soares |
| Keywords: | Paraconsistent transition systems Paraconsistent logic Modal Logic Formal Specification |
| Issue Date: | 2023 |
| Publisher: | Springer |
| Abstract: | This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. |
| Peer review: | yes |
| URI: | http://hdl.handle.net/10773/39826 |
| DOI: | 10.1007/978-3-031-42441-0_1 |
| ISBN: | 978-3-031-42440-3 |
| Publisher Version: | https://link.springer.com/chapter/10.1007/978-3-031-42441-0_1#citeas |
| Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| paper_1850-2.pdf | 350.05 kB | Adobe PDF |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.