Two first-order logics of permutations.
Michael H. AlbertMathilde BouvelValentin FérayPublished in: J. Comb. Theory, Ser. A (2020)
Keyphrases
- conditional logic
- expressive power
- first order logic
- modal logic
- higher order
- valued logic
- inference rules
- classical first order logic
- belief revision
- nonmonotonic logics
- default reasoning
- neural network
- quantifier elimination
- linear temporal logic
- propositional calculus
- data sets
- logic programming
- probability distribution
- knowledge base
- learning algorithm
- proof theory
- databases