Asymmetric Combination of Logics is Functorial: A Survey.

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

Published in: WADT (2016)

Keyphrases

combining multiple
modal logic
artificial intelligence
expressive power
database
data sets
three dimensional