Keyphrases
- graphical models
- modal logic
- decision procedures
- sequent calculus
- truth values
- inference rules
- temporal logic
- cut elimination
- data storage
- theorem proving
- conditional logic
- expressive power
- high capacity
- nonmonotonic logics
- epistemic logic
- theorem prover
- classical logic
- proof theory
- mathematical proofs
- default logic
- equational theories
- conceptual clustering
- modal operators
- natural deduction
- valued logic
- data model
- phase shifting
- neural network
- formal proof
- formal proofs
- propositional dynamic logic
- database