-logics.

Sergey Babenyshev Manuel A. Martins

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

Keyphrases

expressive power
modal logic
propositional calculus
proof theory
query language
inference rules
database
proof theoretic
classical logic
inheritance reasoning
conditional logic
data structure
epistemic logic
nonmonotonic logics
valued logic
special case
computer vision