Generation of accessible worlds under available information

Abstract

A way of generating accessible worlds is described. For this purpose, the class of the so-called finite uniform Scott-Montague models is introduced and the properties are investigated as well as their relation with ambiguity and inconsistency. With the class of models, the approach is formulated from the point of view of possible-worlds restriction under available information.