Andrea de Domenico

zbMath Opende-domenico.andreaMaRDI QIDQ5158657

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logic and Its Applications	2023-08-17	Paper
Labelled calculi for lattice-based modal logics Logic and Its Applications	2023-08-17	Paper
Subordination algebras as semantic environment of input/output logic Logic, Language, Information, and Computation	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 Fundamenta Informaticae	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