Login / Signup
Adapting Logics.
Andreas Blass
Published in:
LICS (2006)
Keyphrases
</>
expressive power
modal logic
inference rules
conditional logic
propositional calculus
proof theory
knowledge base
decision procedures
propositional dynamic logic
databases
machine learning
computer vision
feature selection
case study
classical logic
epistemic logic