Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/15065
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Neves, Renato | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.contributor.author | Barbosa, Luís S. | pt |
dc.date.accessioned | 2016-01-13T18:22:59Z | - |
dc.date.available | 2016-01-13T18:22:59Z | - |
dc.date.issued | 2015 | - |
dc.identifier.isbn | 978-3-319-15074-1 | pt |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10773/15065 | - |
dc.description.abstract | Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems. | pt |
dc.language.iso | eng | pt |
dc.publisher | Springer International Publishing | pt |
dc.relation | FCOMP-01-0124-FEDER-028923 | pt |
dc.relation | PEst-OE/MAT/UI4106/2014 | pt |
dc.rights | openAccess | por |
dc.subject | Institutions | pt |
dc.subject | Hybrid logic | pt |
dc.subject | Decidability | pt |
dc.subject | Completeness | pt |
dc.title | Completeness and decidability results for hybrid(ised) logics | pt |
dc.type | bookPart | pt |
degois.publication.firstPage | 146 | pt |
degois.publication.lastPage | 161 | pt |
degois.publication.title | Formal Methods: Foundations and Applications | pt |
dc.identifier.doi | 10.1007/978-3-319-15075-8_10 | pt |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
submittedversion.pdf | Documento principal | 393.56 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.