Talkin'bout Kripke models

Philippe Balbiani (1, 2) , Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: modal logic; characterization of models; state definition lemma

Domaines: Intelligence artificielle [cs.AI]

Philippe Balbiani, Andreas Herzig. Talkin'bout Kripke models. International Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland. ⟨hal-03516648⟩