Andrea de Domenico

Available identifiers

zbMath Open de-domenico.andreaMaRDI QIDQ5158657

List of research outcomes

Publication	Date of Publication	Type
On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework	2024-12-06	Paper
Non-distributive description logic	2024-05-17	Paper
Labelled calculi for the logics of rough concepts	2023-08-17	Paper
Labelled calculi for lattice-based modal logics	2023-08-17	Paper
Subordination algebras as semantic environment of input/output logic	2023-06-02	Paper
Algorithmic correspondence and analytic rules	2023-03-24	Paper
Algorithmic correspondence and analytic rules	2022-03-26	Paper
Unified inverse correspondence for DLE-Logics	2022-03-17	Paper
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case	2021-10-25	Paper
Non-distributive description logic	N/A	Paper
Labelled calculi for lattice-based modal logics	N/A	Paper
Labelled calculi for the logics of rough concepts	N/A	Paper
Obligations and permissions on selfextensional logics	N/A	Paper
Obligations and permissions, algebraically	N/A	Paper

Research outcomes over time

This page was built for person: Andrea de Domenico