Fabio Bellissima Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima, Saverio Cittadini: Finite Trees in Tense Logic. Studia Logica 62(2): 121-140 (1999)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima, Saverio Cittadini: Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Studia Logica 62(3): 371-398 (1999)
1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima, Saverio Cittadini: Duality and Completeness for US-Logics. Notre Dame Journal of Formal Logic 39(2): 231-242 (1998)
1997
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima, Saverio Cittadini: Minimal Axiomatization in Modal Logic. Math. Log. Q. 43: 92-102 (1997)
1995
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima: Post Complete and 0-Axiomatizable Modal Logics. Ann. Pure Appl. Logic 47(2): 121-144 (1990)
1989
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima, Massimo Mirolli: A General Treatment of Equivalent Modalities. J. Symb. Log. 54(4): 1460-1471 (1989)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima: Infinite Sets of Nonequivalent Modalities. Notre Dame Journal of Formal Logic 30(4): 574-582 (1989)
1988
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima: Finite and Finitely Separable Intermediate Propositional Logics. J. Symb. Log. 53(2): 403-420 (1988)
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Bellissima: Finitely Generated Free Heyting Algebras. J. Symb. Log. 51(1): 152-165 (1986)

Coauthor Index

1Anna Bucalo [6]
2Saverio Cittadini [7] [8] [9] [10]
3Massimo Mirolli [4]

Colors in the list of coauthors

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)