On predicate provability logics and binumerations of fragments of Peano arithmetic.
Taishi KurahashiPublished in: Arch. Math. Log. (2013)
Keyphrases
- expressive power
- first order logic
- modal logic
- inference rules
- arithmetic operations
- nonmonotonic logics
- conditional logic
- machine learning
- epistemic logic
- floating point
- inheritance reasoning
- propositional calculus
- monotonicity constraints
- classical logic
- propositional logic
- integrity constraints
- expert systems
- social networks