Layered Logics, Coalgebraically
Barbosa, Luís, "Layered Logics, Coalgebraically" First International Workshop on Dynamic Logic: New Trends and Applications, Brasília, 2017/09/22.
Document type:
Conference Publication
Collection:
-
Related Links Link Description 
https://link.springer.com/chapter/10.1007/978-3-319-73579-5_4 Link for full paper
http://dx.doi.org/10.1007/978-3-319-73579-5_4 Full text from publisher -
Sub-type Conference paper Author Barbosa, Luís Title Layered Logics, Coalgebraically Publication Date 2018-01 Place of Publication Cham Publisher Springer Pages 55-63 Title of Event First International Workshop on Dynamic Logic: New Trends and Applications Date of Event 2017/09/22 Place of Event Brasília Language eng Abstract This 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. Keyword Layered logics
Hierarchical models
CoalgebraCopyright Holder Springer Copyright Year 2018 Copyright type All rights reserved ISBN 9783319735 DOI 10.1007/978-3-319-73579-5_4 -
Citation counts 
Search Google Scholar
Access Statistics: 439 Abstract Views - Detailed Statistics Created: Tue, 14 Aug 2018, 19:44:13 JST by Mario Peixoto on behalf of UNU EGOV