Reflexive Intermediate Propositional Logics.
Nathan C. CarterPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- default logic
- propositional logic
- first order logic
- expressive power
- coalition logic
- classical first order logic
- propositional variables
- nonmonotonic logics
- inference rules
- linearly ordered
- modal logic
- autoepistemic logic
- logic programming
- probabilistic logic
- computational properties
- classical logic
- horn clauses
- multi valued
- horn logic
- conditional logic
- dynamic logic
- default theories
- propositional dynamic logic
- sound and complete axiomatization
- satisfiability testing
- proof procedure
- bayesian networks
- logical framework
- model checking
- multi agent systems