Asymmetric Combination of Logics is Functorial: A Survey

DOI10.1007/978-3-319-72044-9_4zbMath1496.03265arXiv1611.04170OpenAlexW2772212252MaRDI QIDQ5208498

Renato Neves, Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1611.04170

zbMATH Keywords

institutionhybridisationtemporalisationasymmetric combinationprobabilisation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combined logics (03B62)

Related Items (1)

Epistemic logics with structured knowledge

This page was built for publication: Asymmetric Combination of Logics is Functorial: A Survey