1. Modal logic and classical logic;van Benthem,1983
2. An incomplete logic containing S4;Fine;Theoria,1974
3. Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista;Ghilardi;Rend. Ist. Lomb. Accad. Sci. Lett. A,1983
4. Completezza per logiche intermedie;Ghilardi;Atti degli Incontri di Logica Matematica,1985
5. The McKinsey axiom is not canonical;Goldblatt;J. Symbolic Logic,1991