Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Gabbay, Dov M. and
Malod, Guillaume. 2002.
“Naming Worlds in Modal and Temporal Logic.” Journal of Logic, Language, and Information 11(1): 29–65.