Atoms in Modal Algebras. - Fabio Bellissima (Math. Log. Q., 1984)

On the relationship between one-point frames and degrees of unsatisfiability of modal formulas. - Fabio Bellissima (Notre Dame J. Formal Log., 1984)

A Test to Determine Distinct Modalities in the Extensions of S4. - Fabio Bellissima (Math. Log. Q., 1985)

Finitely Generated Free Heyting Algebras. - Fabio Bellissima (J. Symb. Log., 1986)

On the lattice of extensions of the modal logics KAltn. - Fabio Bellissima (Arch. Math. Log., 1988)

Finite and Finitely Separable Intermediate Propositional Logics. - Fabio Bellissima (J. Symb. Log., 1988)

Two classes of intermediate propositional logics without disjunction property. - Fabio Bellissima (Arch. Math. Log., 1989)

A General Treatment of Equivalent Modalities. - Fabio Bellissima; Massimo Mirolli (J. Symb. Log., 1989)

Infinite Sets of Nonequivalent Modalities. - Fabio Bellissima (Notre Dame J. Formal Log., 1989)

Post Complete and 0-Axiomatizable Modal Logics. - Fabio Bellissima (Ann. Pure Appl. Log., 1990)

On the Inadequacy of the Relational Semantic for the "Until" Operator. - Fabio Bellissima; Alessandra Ciupi (Math. Log. Q., 1992)

A Distinguishable Model Theorem for the Minimal US-Tense Logic. - Fabio Bellissima; Anna Bucalo (Notre Dame J. Formal Log., 1995)

Minimal Axiomatization in Modal Logic. - Fabio Bellissima; Saverio Cittadini (Math. Log. Q., 1997)

Duality and Completeness for US-Logics. - Fabio Bellissima; Saverio Cittadini (Notre Dame J. Formal Log., 1998)

Finite Trees in Tense Logic. - Fabio Bellissima; Saverio Cittadini (Stud Logica, 1999)

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. - Fabio Bellissima; Saverio Cittadini (Stud Logica, 1999)