Heuresis. Linguaggio, logica, scienza

Grammatiche, forma logica, linguaggio naturale

Azioni individuali e logica intensionale

Automi, linguaggi, probabilità

Significato e categorie

Guida alla logica modale

Semantica, complessità e linguaggio naturale

Teoria del significato e filosofia della logica

Predication, analysis and reference

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

Apologie umanistiche della «historia»

Elementi di computazione quantistica

Labelled sequent calculi for indexed modal logics

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

Esperimenti mentali e realtà fisica

A Categorial approach to cliticization and agreement in italian

Introduzione alla logica