Heuresis. Linguaggio, logica, scienza

Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine

L'eredità di Rudolf Carnap. Epistemologia, filosofia delle scienze, filosofia del linguaggio

Semantica, complessità e linguaggio naturale

Labelled sequent calculi for indexed modal logics

Elementi di computazione quantistica

Apologie umanistiche della «historia»

Tra semantica e pragmatica. Uno studio con riferimenti all'inglese e all'italiano

Predication, analysis and reference

Introduzione alla logica

Esperimenti mentali e realtà fisica

Teoria del significato e filosofia della logica

A Categorial approach to cliticization and agreement in italian

Guida alla logica modale

Significato e categorie

Automi, linguaggi, probabilità

Azioni individuali e logica intensionale

Grammatiche, forma logica, linguaggio naturale