Reflexive Intermediate First-Order Logics.
Nathan C. CarterPublished in: Notre Dame J. Formal Log. (2008)
Keyphrases
- conditional logic
- first order logic
- expressive power
- classical first order logic
- modal logic
- valued logic
- logic programming
- higher order
- inference rules
- nonmonotonic reasoning
- default reasoning
- stochastic dominance
- belief revision
- dynamic logic
- propositional calculus
- quantifier elimination
- machine learning
- fuzzy logic
- horn clauses
- nonmonotonic logics
- pairwise
- case study
- banach space
- information systems