1. Home
  2. CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações
  3. CIDMA - Algebra and Geometry Group
  4. AGG - Artigos
Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/39826
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCunha, Julianapt_PT
dc.contributor.authorMadeira, Alexandrept_PT
dc.contributor.authorBarbosa, Luís Soarespt_PT
dc.date.accessioned2023-12-15T15:19:19Z-
dc.date.available2023-12-15T15:19:19Z-
dc.date.issued2023-
dc.identifier.isbn978-3-031-42440-3pt_PT
dc.identifier.urihttp://hdl.handle.net/10773/39826-
dc.description.abstractThis 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.pt_PT
dc.language.isoengpt_PT
dc.publisherSpringerpt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04106%2F2020/PTpt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PTpt_PT
dc.rightsrestrictedAccesspt_PT
dc.subjectParaconsistent transition systemspt_PT
dc.subjectParaconsistent logicpt_PT
dc.subjectModal Logicpt_PT
dc.subjectFormal Specificationpt_PT
dc.titleStructured specification of paraconsistent transition systemspt_PT
dc.typearticlept_PT
dc.description.versionpublishedpt_PT
dc.peerreviewedyespt_PT
degois.publication.firstPage1pt_PT
degois.publication.lastPage17pt_PT
degois.publication.titleLecture Notes in Computer Sciencept_PT
degois.publication.volume14155pt_PT
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/978-3-031-42441-0_1#citeaspt_PT
dc.identifier.doi10.1007/978-3-031-42441-0_1pt_PT
Appears in Collections:CIDMA - Artigos
AGG - Artigos

Files in This Item:
File Description SizeFormat 
paper_1850-2.pdf350.05 kBAdobe PDFrestrictedAccess
Show simple item record


FacebookTwitterLinkedIn
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.