Decidable Logics with Associative Binary Modalities.

Published in: CSL (2017)

Keyphrases

expressive power
first order logic
modal logic
transitive closure
data sets
database systems
knowledge representation
non binary
classical logic
neural network
knowledge base
relational databases
inference rules
binary data
spreading activation
multiple modalities