Dal 1996, e in modo continuativo, è attiva una collaborazione
con il
Dipartimento di Informatica e Scienze
dell'Informazione (DISI) dell'Università di Genova, nella persona
del prof. Maurizio Martelli, ordinario di Linguaggi e Programmazione, per ricerche su:
semantiche costruttive per la logica di ordine superiore classica e intuizionista,
con applicazione alle semantiche per i linguaggi di programmazione logica di ordine superiore.
Pubblicazioni prodotte nel contesto della collaborazione con l'Università di Genova:
Semantiche costruttive per la teoria dei tipi: [CN-2005g], [CN-2005f], [CIR-2004b], [CIR-2004c], [RN-2002g].
Dal 1995, e in modo continuativo, è attiva una collaborazione con il
Dipartimento di Scienze Economiche dell'Università di Bologna, nella persona del prof. Corrado Benassi, ordinario di
Economia Politica, per ricerche su: formalizzazione logica dell'agente razionale, con applicazioni
alla teoria dei giochi, alla teoria delle scelte sociali, alla microeconomia.
Pubblicazioni prodotte nel contesto della collaborazione con l'Università di Bologna:
Formalizzazione logica della Teoria dei Giochi (strategic games): [CIR-2003c], [CN-2000b]
Agenti epistemici, agenti razionali, conoscenza comune: [RI-2006a], [CIR-1999e], [CFI-2003d], [RN-1999g], [CN-1999h]
Agenti economici, forma logica dell'equilibrio competitivo per un'economia: [RN-1997b], [CN-1997c], [CN-1997d]