LILaC - paper abstract

Talkin'bout Kripke models

Balbiani, Philippe and Herzig, Andreas


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.