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

https://hal.inria.fr/hal-01767465
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 11:34:44 AM
Last modification on : Monday, April 16, 2018 - 11:36:28 AM

File

433330_1_En_4_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

89

Files downloads

62