Fabio Bellissima

Available identifiers

zbMath Open bellissima.fabioWikidataQ102277193 ScholiaQ102277193MaRDI QIDQ190276

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5124095	2020-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4559854	2018-12-04	Paper
Propositions VIII.4–5 of Euclid'sElementsand the compounding of ratios on the monochord	2016-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q2940211	2015-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q3166085	2012-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3063327	2010-12-31	Paper
https://portal.mardi4nfdi.de/entity/Q4679091	2005-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q2776099	2004-02-09	Paper
Finite trees in tense logic	2001-10-15	Paper
Duality and completeness for US-logics	2001-07-17	Paper
Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4	1999-09-07	Paper
Minimal Axiomatization in Modal Logic	1997-05-25	Paper
A distinguishable model theorem for the minimal \(\text{US}\)-tense logic	1996-05-22	Paper
ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR	1995-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4303469	1994-10-05	Paper
Atoms of tense algebras	1991-01-01	Paper
Post complete and 0-axiomatizable modal logics	1990-01-01	Paper
Infinite sets of nonequivalent modalities	1989-01-01	Paper
Two classes of intermediate propositional logics without disjunction property	1989-01-01	Paper
A general treatment of equivalent modalities	1989-01-01	Paper
On the lattice of extensions of the modal logics \(KAlt_ n\)	1988-01-01	Paper
Finite and finitely separable intermediate propositional logics	1988-01-01	Paper
Finitely generated free Heyting algebras	1986-01-01	Paper
An effective representation for finitely generated free interior algebras	1985-01-01	Paper
A Test to Determine Distinct Modalities in the Extensions of S4	1985-01-01	Paper
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas	1984-01-01	Paper
ATOMS IN MODAL ALGEBRAS	1984-01-01	Paper
On the axiomatization of finite K-frames	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657972	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3870870	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190615	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fabio Bellissima