| Publication | Date of Publication | Type |
|---|
Non-distributive description logic
(available as arXiv preprint) | N/A | Paper |
Game semantics for lattice-based modal {\mu}-calculus
(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 |
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
(available as arXiv preprint) | N/A | Paper |
Unified inverse correspondence for LE-logics
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions on selfextensional logics
Synthese | 2026-04-15 | Paper |
Flexible categorization using formal concept analysis and Dempster-Shafer theory
International Journal of Approximate Reasoning | 2025-12-18 | Paper |
Unified inverse correspondence for LE-logics
Annals of Pure and Applied Logic | 2025-10-23 | Paper |
Modal reduction principles across relational semantics
Fuzzy Sets and Systems | 2025-09-08 | Paper |
| Toward the van Benthem characterization theorem for non-distributive modal logic | 2025-06-26 | Paper |
| Correspondence theory on vector spaces | 2025-01-31 | Paper |
Polynomial-time checking of generalized Sahlqvist syntactic shape
Theoretical Computer Science | 2024-11-18 | Paper |
| Non-distributive description logic | 2024-05-17 | Paper |
Modal reduction principles: a parametric shift to graphs
Journal of Applied Non-Classical Logics | 2024-05-06 | 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 |
Reconciling transparency, low <i>Δ</i>0-complexity and axiomatic weakness in undecidability proofs
Journal Of Logic And Computation | 2023-06-15 | 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 |
| scientific article; zbMATH DE number 7668119 (Why is no real title available?) | 2023-03-24 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
