Keyphrases
- valued logic
- propositional logic
- expressive power
- first order logic
- default logic
- coalition logic
- classical first order logic
- autoepistemic logic
- propositional variables
- linearly ordered
- horn logic
- probabilistic logic
- modal logic
- nonmonotonic logics
- multi valued
- logical framework
- classical logic
- inference rules
- satisfiability testing
- probabilistic reasoning
- conditional logic
- genetic algorithm