Validity Measurement in Some Propositional Logics.
Branislav R. BoricicPublished in: Math. Log. Q. (1997)
Keyphrases
- default logic
- propositional logic
- first order logic
- classical first order logic
- nonmonotonic logics
- expressive power
- inference rules
- autoepistemic logic
- propositional variables
- modal logic
- logic programming
- coalition logic
- linearly ordered
- strips planning
- horn clauses
- multi valued
- prime implicates
- database
- real time
- decision procedures
- default reasoning
- knowledge base
- propositional dynamic logic
- data sets