| |
| 1999 | ||
|---|---|---|
| 10 | Fabio Bellissima, Saverio Cittadini: Finite Trees in Tense Logic. Studia Logica 62(2): 121-140 (1999) | |
| 9 | Fabio Bellissima, Saverio Cittadini: Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Studia Logica 62(3): 371-398 (1999) | |
| 1998 | ||
| 8 | Fabio Bellissima, Saverio Cittadini: Duality and Completeness for US-Logics. Notre Dame Journal of Formal Logic 39(2): 231-242 (1998) | |
| 1997 | ||
| 7 | Fabio Bellissima, Saverio Cittadini: Minimal Axiomatization in Modal Logic. Math. Log. Q. 43: 92-102 (1997) | |
| 1995 | ||
| 6 | Fabio Bellissima, Anna Bucalo: A Distinguishable Model Theorem for the Minimal US-Tense Logic. Notre Dame Journal of Formal Logic 36(4): 585-594 (1995) | |
| 1990 | ||
| 5 | Fabio Bellissima: Post Complete and 0-Axiomatizable Modal Logics. Ann. Pure Appl. Logic 47(2): 121-144 (1990) | |
| 1989 | ||
| 4 | Fabio Bellissima, Massimo Mirolli: A General Treatment of Equivalent Modalities. J. Symb. Log. 54(4): 1460-1471 (1989) | |
| 3 | Fabio Bellissima: Infinite Sets of Nonequivalent Modalities. Notre Dame Journal of Formal Logic 30(4): 574-582 (1989) | |
| 1988 | ||
| 2 | Fabio Bellissima: Finite and Finitely Separable Intermediate Propositional Logics. J. Symb. Log. 53(2): 403-420 (1988) | |
| 1986 | ||
| 1 | Fabio Bellissima: Finitely Generated Free Heyting Algebras. J. Symb. Log. 51(1): 152-165 (1986) | |
| 1 | Anna Bucalo | [6] |
| 2 | Saverio Cittadini | [7] [8] [9] [10] |
| 3 | Massimo Mirolli | [4] |