Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic.
Peter M. W. KnijnenburgFrank NordemannPublished in: Math. Struct. Comput. Sci. (1994)
Keyphrases
- sound and complete axiomatization
- multi valued
- logic programming
- modal logic
- parameter estimation
- statistical model
- experimental data
- natural deduction
- deontic logic
- multi agent
- model selection
- proof theory
- epistemic logic
- truth values
- nonmonotonic logics
- classical logic
- probabilistic logic
- prior knowledge
- decision trees
- belief revision
- statistical models