Many-valued hybrid logic.

Jens Ulrik Hansen Thomas Bolander Torben Braüner

Published in: J. Log. Comput. (2018)

Keyphrases

modal logic
truth values
multi valued
epistemic logic
decision trees
dynamic logic
asynchronous circuits
temporal logic
real time
hybrid learning
automated reasoning
inference rules
classical logic
computational properties
formal theory
logic programming
aggregation functions
database systems
hybrid approaches