| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page