Selected Papers


'Semantic trees for Dummett's logic LC', Studia Logica, XLV,2,1986,pp.199-206.

'Weak logics with strict implication', Zeitschr. f. math.Logik und Grundlagen d. Mathematik, 33,1987,pp.389-406.

'Quantified modal logic with rigid terms', Zeitschr. f. math.Logik und Grundlgen d. Mathematik, 34,1988,pp.251-259.

'A logic characterized by the class of linear Kripke frames with nested domains', Studia Logica, XLVIII,1,1989,pp.15-22.

'A cut-free calculus for Dummett's LC quantified ', Zeitschr.f.math. Logik und Grundlagen d. Math., 35, 1989, pp. 289-301.

(with S. Ghilardi) 'Directed frames', Archive for Mathematical Logic, 1989, pp. 53-67.

'Completeness theorem for Dummett's LC quantified and some of its extensions', Studia Logica 51, 2 (1992), pp.317-335.

'Quantified modal logics of positive rational numbers and some related systems', Notre Dame Journal of Formal Logic, 1993, pp. 263-283.

'A very simple proof of Ono's theorem for S+n,n>1' (Abstract), Proceedings of the Incontri di Logica Matematica, Siena, 1989.

(with S. Ghilardi) 'Semantical aspects of quantified modal logic', in Knowledge, Belief & Strategic Interaction, C.Bicchieri, M.L.Dalla Chiara (eds), Cambridge Univ. Press, Cambridge, 1992, pp.167-195.

'Bull's theorem by the method of diagrams', Studia Logica, 62, 1999, pp.163-176.

'Counterparts and possible worlds. A study on quantified modal logic', Preprints, 2001, pp.61, CLUEB, Bologna.

'A unified completeness theorem for quantified modal logics', Journal of Symbolic Logic, vol 67 (2002), pp.1483-1510. [pdf]

'BF, CBF and Lewis Semantics', Logique et Analyse, 2003, pp.103-122.[pdf]

'The a fortiori rule: the key to reach termination in intuitionistic logic', in M.Franchella e E.Ballo (eds), Logic and Philosophy in Italy, some trends and perspectives, Polimetrica, Milano, 2006, pp.26-47 [pdf]

'Metodo di decisione per la logica intuizionista e la logica di Jankov', Preprint 28, Logica Scienza, Linguaggio, Dip. di Filosofia, Università di Bologna, CLUEB, 2006, pp 64-97 [pdf]


Quantified modal logic, an introduction, IDG, CNR, Firenze, 1990, pp.192.

Counterpart semantics, Firenze, 1996, pp.168.

Editor (with C.Mangione and M.Mugnai) of the Proceedings of the international conference on the history of logic, Le teorie delle modalità, San Gimignano, 5-8 Dec. 1987, CLUEB, Bologna, 1989, pp. 378.

Editor (with G. Sambin) of Proceedings of the international conference on Nuovi Problemi della Logica e della Filosofia della Scienza, Viareggio 8-13 Jan. 1990, CLUEB, Bologna, 1991.

Editor (with M.L.Dalla Chiara and G.Ghilardi) of Bridging the Gap: Philosophy, Mathematics, and Physics. Lectures on the Foundations of Science, BSPS 140, KLUWER A.P., Dordrecht,1993

Editor of Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, by L.Maksimova and I.Lavrov, Kluwer Academic/Plenum Publishers, NY, 2003.


Sun-Joo Shin, The logical Status of Diagrams, Cambridge University Press, NY, 1994, The British journal for the Philosophy of Science, 48, 1997, pp.290-291.

Max Cresswell, 'Semantic Indexicality', Lingua e Stile, XXXII, vol 4, 1997, pp.605-607.