Completeness and decidability results for hybrid(ised) logics
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 specificat...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | bookPart |
| Idioma: | eng |
| Publicado em: |
2016
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10773/15065 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/15065 |