Skip to Main content Skip to Navigation
Conference papers

Asymmetric Combination of Logics is Functorial: A Survey

Abstract : Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations.
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, April 16, 2018 - 11:34:44 AM
Last modification on : Tuesday, May 3, 2022 - 5:52:02 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Renato Neves, Alexandre Madeira, Luis Barbosa, Manuel Martins. Asymmetric Combination of Logics is Functorial: A Survey. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩. ⟨hal-01767465⟩



Record views


Files downloads