Fabio Bellissima

Publication Activity (10 Years)

Years Active: 1984-1999
Publications (10 Years): 0

Publications

Fabio Bellissima, Saverio Cittadini
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Stud Logica 62 (3) (1999)
Fabio Bellissima, Saverio Cittadini
Finite Trees in Tense Logic. Stud Logica 62 (2) (1999)
Fabio Bellissima, Saverio Cittadini
Duality and Completeness for US-Logics. Notre Dame J. Formal Log. 39 (2) (1998)
Fabio Bellissima, Saverio Cittadini
Minimal Axiomatization in Modal Logic. Math. Log. Q. 43 (1997)
Fabio Bellissima, Anna Bucalo
A Distinguishable Model Theorem for the Minimal US-Tense Logic. Notre Dame J. Formal Log. 36 (4) (1995)
Fabio Bellissima, Alessandra Ciupi
On the Inadequacy of the Relational Semantic for the "Until" Operator. Math. Log. Q. 38 (1) (1992)
Fabio Bellissima
Post Complete and 0-Axiomatizable Modal Logics. Ann. Pure Appl. Log. 47 (2) (1990)
Fabio Bellissima, Massimo Mirolli
A General Treatment of Equivalent Modalities. J. Symb. Log. 54 (4) (1989)
Fabio Bellissima
Infinite Sets of Nonequivalent Modalities. Notre Dame J. Formal Log. 30 (4) (1989)
Fabio Bellissima
Two classes of intermediate propositional logics without disjunction property. Arch. Math. Log. 28 (1) (1989)
Fabio Bellissima
Finite and Finitely Separable Intermediate Propositional Logics. J. Symb. Log. 53 (2) (1988)
Fabio Bellissima
. Arch. Math. Log. 27 (2) (1988)
Fabio Bellissima
Finitely Generated Free Heyting Algebras. J. Symb. Log. 51 (1) (1986)
Fabio Bellissima
. Math. Log. Q. 31 (1-6) (1985)
Fabio Bellissima
Atoms in Modal Algebras. Math. Log. Q. 30 (19-24) (1984)
Fabio Bellissima
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas. Notre Dame J. Formal Log. 25 (2) (1984)