probabilistic semantics

extension of the common semantics of logic for dealing with uncertain knowledge