Measure-Based Semantics for Modal Logic

Abstract

A fuzzy-measure-based approach to semantics for modal logic is presented and its several properties are discussed. Measure-based models for modal logic are defined and the soundness and completeness theorems of several systems of modal logic are proved with respect to classes of finite measure-based models, particularly, formulated by fuzzy, possibility, necessity, probability, and Dirac measures.