Birkhoff style calculi for hybrid logics.

Published in: Formal Aspects Comput. (2017)

Keyphrases

sequent calculi
expressive power
modal logic
hybrid learning
databases
neural network
data sets
website
fuzzy logic
description logics
conditional logic