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: |
