1. Bellissima, F., ‘An Effective Representation for Finitely Generated Free Interior Algebras’, Algebra Universalis, 20 (1985), 302–317.
2. Bellissima, E, ‘Post Complete and 0-Axiomatizablc Modal Logics’, Ann. Pure Appl. Logic, 47 (1990), 121–144.
3. Van Benthem, J. E A. K., ‘Canonical Modal Logics and Ultrafilter Extensions’,. 1. Symbolic Logic, 44 (1979), 25–37.
4. Van Benthem, J. F. A. K., Modal Logic and Classical Logic, Bibliopolis, Naples, 1986.
5. Van Benthem, J. F. A. K., ‘Notes on Modal Definability’, Notre Dame J. Formal Logic, 39 (1989), 20–39.