Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69290
Título: | Layered logics, coalgebraically |
Autor(es): | Barbosa, L. S. |
Palavras-chave: | Layered logics Coalgebra Hierarchical models Coalgebra |
Data: | Jan-2018 |
Editora: | Springer Verlag |
Citação: | Barbosa, L. S. (2017). Layered Logics, Coalgebraically. In International Workshop on Dynamic Logic (pp. 55-63). Springer |
Resumo(s): | This short note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/69290 |
ISBN: | 978-3-319-73578-8 |
e-ISBN: | 978-3-319-73579-5 |
DOI: | 10.1007/978-3-319-73579-5_4 |
Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-319-73579-5_4 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |