1. Bencivenga, E.: 1980a, Una Logica dei Termini Singolari. Torino, Boringhieri.
2. Bencivenga, E.: 1980b, “Free Semantics”. In Dalla Chiara, M. L. ed.: Italian Studies in the Philosophy of Science, pp. 31–48, Dordrecht, Reidel.
3. Hughes, G. E., and Cresswell, M. J.: 1968, Introduction to Modal Logic. London, Methuen.
4. Hughes, G. E., and Cresswell, M. J. 1984: A Companion to Modal Logic. London, Methuen.
5. Smullyan, R. M.: 1968, First Order Logic. Berlin, Springer Verlag.