Contingent Information: A Four-Valued Approach

摘要

One of the interesting types of information in information systems is contingent information. Information systems should be able to deal with such information. It is interesting to formalize contingent information, and the task is closely related to the so-called future contingents. We try to model contingent information by means of ?ukasiewicz's four-valued logic. Although modalities in his logic are non-standard, the non-modal fragment is useful to express contingent information in information systems.