való világ: a modális logikában nem egy nyelvtől függetlenül létező objektív valóság, hanem meghatározott konvenciók által valósnak feltételezett világ. (szövegvilág, lehetséges világ.)