Bellissima, Fabio; Cittadini, Saverio Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4. (English) Zbl 0960.03015 Stud. Log. 62, No. 3, 371-398 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{S. Cittadini}, Stud. Log. 62, No. 3, 371--398 (1999; Zbl 0960.03015) Full Text: DOI
Bellissima, Fabio; Cittadini, Saverio Finite trees in tense logic. (English) Zbl 0970.03024 Stud. Log. 62, No. 2, 121-140 (1999). Reviewer: V.Shekhtman (Moskva) MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{S. Cittadini}, Stud. Log. 62, No. 2, 121--140 (1999; Zbl 0970.03024) Full Text: DOI
Bellissima, Fabio; Cittadini, Saverio Minimal axiomatization in modal logic. (English) Zbl 0862.03007 Math. Log. Q. 43, No. 1, 92-102 (1997). MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{S. Cittadini}, Math. Log. Q. 43, No. 1, 92--102 (1997; Zbl 0862.03007) Full Text: DOI
Bellissima, Fabio; Bucalo, Anna A distinguishable model theorem for the minimal \(\text{US}\)-tense logic. (English) Zbl 0843.03007 Notre Dame J. Formal Logic 36, No. 4, 585-594 (1995). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{A. Bucalo}, Notre Dame J. Formal Logic 36, No. 4, 585--594 (1995; Zbl 0843.03007) Full Text: DOI
Bellissima, Fabio; Mirolli, Massimo Reduction of until-since operators to unary tense operators. (English) Zbl 0804.03011 PU.M.A., Pure Math. Appl. 4, No. 3, 283-296 (1993). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{M. Mirolli}, PU.M.A., Pure Math. Appl. 4, No. 3, 283--296 (1993; Zbl 0804.03011)
Bellissima, Fabio; Ciupi, Alessandra On the inadequacy of the relational semantic for the “until” operator. (English) Zbl 0812.03012 Z. Math. Logik Grundlagen Math. 38, No. 3, 247-252 (1992). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{A. Ciupi}, Z. Math. Logik Grundlagen Math. 38, No. 3, 247--252 (1992; Zbl 0812.03012) Full Text: DOI
Bellissima, Fabio Atoms of tense algebras. (English) Zbl 0721.03047 Algebra Univers. 28, No. 1, 52-78 (1991). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 03C05 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Algebra Univers. 28, No. 1, 52--78 (1991; Zbl 0721.03047) Full Text: DOI
Bellissima, Fabio Post complete and 0-axiomatizable modal logics. (English) Zbl 0709.03016 Ann. Pure Appl. Logic 47, No. 2, 121-144 (1990). Reviewer: V.Meskhi MSC: 03B45 03G25 08B20 PDFBibTeX XMLCite \textit{F. Bellissima}, Ann. Pure Appl. Logic 47, No. 2, 121--144 (1990; Zbl 0709.03016) Full Text: DOI
Bellissima, Fabio; Mirolli, Massimo A general treatment of equivalent modalities. (English) Zbl 0706.03017 J. Symb. Log. 54, No. 4, 1460-1471 (1989). Reviewer: L.F.Goble MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{M. Mirolli}, J. Symb. Log. 54, No. 4, 1460--1471 (1989; Zbl 0706.03017) Full Text: DOI
Bellissima, Fabio Infinite sets of nonequivalent modalities. (English) Zbl 0692.03010 Notre Dame J. Formal Logic 30, No. 4, 574-582 (1989). Reviewer: M.J.Cresswell MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Notre Dame J. Formal Logic 30, No. 4, 574--582 (1989; Zbl 0692.03010) Full Text: DOI
Bellissima, Fabio On the lattice of extensions of the modal logics \(KAlt_ n\). (English) Zbl 0658.03012 Arch. Math. Logic 27, No. 2, 107-114 (1988). Reviewer: S.Miura MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Arch. Math. Logic 27, No. 2, 107--114 (1988; Zbl 0658.03012) Full Text: DOI
Bellissima, Fabio A test to determine distinct modalities in the extensions of S4. (English) Zbl 0567.03006 Z. Math. Logik Grundlagen Math. 31, 57-62 (1985). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Z. Math. Logik Grundlagen Math. 31, 57--62 (1985; Zbl 0567.03006) Full Text: DOI
Bellissima, Fabio On the relationship between one-point frames and degrees of unsatisfiability of modal formulas. (English) Zbl 0563.03007 Notre Dame J. Formal Logic 25, 117-126 (1984). Reviewer: G. E. Mints (Leningrad) MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Notre Dame J. Formal Logic 25, 117--126 (1984; Zbl 0563.03007) Full Text: DOI
Bellissima, Fabio Atoms in modal algebras. (English) Zbl 0562.03037 Z. Math. Logik Grundlagen Math. 30, 303-312 (1984). MSC: 03G25 03B45 03C05 08B20 PDFBibTeX XMLCite \textit{F. Bellissima}, Z. Math. Logik Grundlagen Math. 30, 303--312 (1984; Zbl 0562.03037) Full Text: DOI
Bellissima, Fabio; Mirolli, Massimo On the axiomatization of finite K-frames. (English) Zbl 0556.03017 Stud. Log. 42, 383-388 (1983). Reviewer: S.Miura MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima} and \textit{M. Mirolli}, Stud. Log. 42, 383--388 (1983; Zbl 0556.03017) Full Text: DOI
Bellissima, Fabio Atoms in modal algebras. (English) Zbl 0513.03012 Atti degli incontri di logica matematica, Siena/Italia 1982, 351-354 (1983). MSC: 03B45 03C05 PDFBibTeX XML
Bellissima, Fabio Considerazioni semantiche sulle logiche modali predicative. (Italian) Zbl 0433.03009 Boll. Unione Mat. Ital., V. Ser., B 17, 776-785 (1980). MSC: 03B45 PDFBibTeX XMLCite \textit{F. Bellissima}, Boll. Unione Mat. Ital., V. Ser., B 17, 776--785 (1980; Zbl 0433.03009)
Bellissima, Fabio On the modal logic corresponding to diagonalizable algebra theory. (English) Zbl 0405.03012 Boll. Unione Mat. Ital., V. Ser., B 15, 915-930 (1978). MSC: 03B45 03G25 03C90 PDFBibTeX XMLCite \textit{F. Bellissima}, Boll. Unione Mat. Ital., V. Ser., B 15, 915--930 (1978; Zbl 0405.03012)