Abstract
The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soundness and completeness results.
Citation
François Lepage. Charles Morgan. "Probabilistic Canonical Models for Partial Logics." Notre Dame J. Formal Logic 44 (3) 125 - 138, 2003. https://doi.org/10.1305/ndjfl/1091030851
Information