| 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) |
