Probabilistic semantics objectified: I. postulates and logics.
Bas C. van FraassenPublished in: J. Philos. Log. (1981)
Keyphrases
- logical properties
- conditional logic
- belief revision
- nonmonotonic logics
- epistemic logic
- horn logic
- propositional dynamic logic
- proof theory
- abstract argumentation frameworks
- valued semantics
- probabilistic model
- modal logic
- bayesian networks
- proof theoretic
- logic program updates
- computational properties
- probabilistic logic
- expressive power
- default reasoning
- higher order logic
- logical framework
- proof procedures
- inference rules
- update semantics
- belief networks
- semantic information
- logic programming
- belief change
- formal semantics
- logic programs
- valued logic
- generative model
- update operators
- conditional probabilities
- consistent query answering
- revision operators
- probability theory
- uncertain data
- desirable properties
- probabilistic reasoning
- belief base
- partially ordered