Representation of incompleteness and inconsistency in possible-worlds semantics

摘要

Examined are conditions of minimal models for modal logic, which are appropriate for dealing with two kinds of uncertainty, i.e., incompleteness and inconsistency. Such models with the conditions are called general uncertain models. In the models, incompleteness is rep resented by plurality of accessibile worlds, while inconsistency is represented by plurality of sets of accessible worlds.