Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/39826| Título: | Structured specification of paraconsistent transition systems |
| Autor: | Cunha, Juliana Madeira, Alexandre Barbosa, Luís Soares |
| Palavras-chave: | Paraconsistent transition systems Paraconsistent logic Modal Logic Formal Specification |
| Data: | 2023 |
| Editora: | Springer |
| Resumo: | 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 |
| Versão do Editor: | https://link.springer.com/chapter/10.1007/978-3-031-42441-0_1#citeas |
| Aparece nas coleções: | CIDMA - Artigos AGG - Artigos |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| paper_1850-2.pdf | 350.05 kB | Adobe PDF |  |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.