Person:5884969

Available identifiers

zbMath Open panettiere.mattiaMaRDI QIDQ5884969

List of research outcomes

Publication	Date of Publication	Type
Polynomial-time checking of generalized Sahlqvist syntactic shape	2024-11-18	Paper
Non-distributive description logic	2024-05-17	Paper
Modal reduction principles: a parametric shift to graphs	2024-05-06	Paper
Labelled calculi for the logics of rough concepts	2023-08-17	Paper
Labelled calculi for lattice-based modal logics	2023-08-17	Paper
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs	2023-06-15	Paper
Subordination algebras as semantic environment of input/output logic	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5884970	2023-03-24	Paper
Unified inverse correspondence for DLE-Logics	2022-03-17	Paper
Non-distributive description logic	N/A	Paper
Game semantics for lattice-based modal {\mu}-calculus	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
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic	N/A	Paper
Unified inverse correspondence for LE-logics	N/A	Paper

Research outcomes over time

This page was built for person: