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