I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Gabbay, Dov M. and
Malod, Guillaume. 2002.
“Naming Worlds in Modal and Temporal Logic.” Journal of Logic, Language, and Information 11(1): 29–65.