Data di Pubblicazione:
2005
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
modal logic; dynamic logic; multi-agent systems
Elenco autori:
Borgo, Stefano
Link alla scheda completa: