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.