Logical equations and admissible rules of inference with parameters in modal provability logics.
Vladimir V. RybakovPublished in: Stud Logica (1990)
Keyphrases
- modal logic
- inference engine
- logical rules
- expressive power
- maximum likelihood
- nonmonotonic logics
- euler lagrange
- mathematical model
- classification rules
- rule sets
- probabilistic inference
- proof theory
- dynamic logic
- representing knowledge
- classical logic
- parameter learning
- differential equations
- parameter values
- decision rules
- parameter estimation