Abstract de la publi numéro 7878

Suppose there is given a finite model M of a finite modal language. In this short note we investigate different ways of characterizing what is true in M, and what is true at some possible world w of M.