Conditional Quantification, or Poor Man's Probability
Michiel van Lambalgen

Abstract:
The paper introduces a first order logic of incomplete information,
based on the idea that this can be achieved by an appropriate
formalisation of probabilistic conditional expectation. We show that
conditional expectation acts as a generalised quantifier, and
investigate various ways of conditioning, thus producing
resource-bounded logics.

Keyword(s): probability, granularity, generalised quantifiers,
conditional expectation