LILaC
- paper abstract
Talkin'bout Kripke models
Balbiani, Philippe and Herzig, Andreas
Abstract:
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.
https://www.irit.fr/~Andreas.Herzig