| Publication | Date of Publication | Type |
|---|
Non-distributive description logic
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for lattice-based modal logics
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for the logics of rough concepts
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions on selfextensional logics
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions, algebraically
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions on selfextensional logics
Synthese | 2026-04-15 | Paper |
Modular constructive Lyndon interpolation for nondistributive logics
(available as arXiv preprint) | 2026-01-01 | Paper |
Inception Display Calculi
(available as arXiv preprint) | 2026-01-01 | Paper |
Refutation calculi for lattice-based logics: from display to tableaux
(available as arXiv preprint) | 2026-01-01 | Paper |
Modal reduction principles across relational semantics
Fuzzy Sets and Systems | 2025-09-08 | Paper |
| Description logic for rough concepts | 2025-03-12 | Paper |
| The decision problem for undirected graphs with reachability and acyclicity | 2025-02-07 | Paper |
Normative implications
(available as arXiv preprint) | 2025-01-01 | Paper |
| 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 |
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
(available as arXiv preprint) | 2024-01-01 | Paper |
Labelled calculi for lattice-based modal logics
Logic and Its Applications | 2023-08-17 | Paper |
Labelled calculi for the logics of rough concepts
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 |
Subordination algebras as semantic environment of input/output logic
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Algorithmic correspondence and analytic rules
(available as arXiv preprint) | 2023-03-24 | Paper |
Algorithmic correspondence and analytic rules
(available as arXiv preprint) | 2022-03-26 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
Unified inverse correspondence for DLE-Logics
(available as arXiv preprint) | 2022-01-01 | Paper |
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case
Fundamenta Informaticae | 2021-10-25 | Paper |
