On the Integration of Uncertainty Theories

Investigations pursued in this paper contribute to a research project introduced by Resconi, Klir, and St. Clair [1] whose purpose is to employ syntactic and semantic structures of modal logic as a unifying framework within which various uncertainty theories can be formalized, compared, and organized hierarchically. This paper focuses on the explicit use of modal logic semantics to formalize fuzzy sets, belief measures, plausibility measures, and Sugeno λ-measures.