| 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 |
Causal Kripke models
Synthese | 2026-04-15 | Paper |
Obligations and permissions on selfextensional logics
Synthese | 2026-04-15 | Paper |
| Probabilistic causal Kripke models | 2026-02-10 | Paper |
Flexible categorization using formal concept analysis and Dempster-Shafer theory
International Journal of Approximate Reasoning | 2025-12-18 | Paper |
| Monotone modal logic beyond distributivity | 2025-12-04 | Paper |
Modal reduction principles across relational semantics
Fuzzy Sets and Systems | 2025-09-08 | Paper |
| Fuzzy lattice-based description logic | 2025-09-03 | Paper |
| Query answering in lattice-based description logic | 2025-09-03 | Paper |
| Toward the van Benthem characterization theorem for non-distributive modal logic | 2025-06-26 | Paper |
| Description logic for rough concepts | 2025-03-12 | 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 |
Causal Kripke Models
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Rough concepts
Information Sciences | 2023-10-25 | 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 |
Logics for Rough Concept Analysis
(available as arXiv preprint) | 2018-11-17 | Paper |
