Person:5884969

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
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 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
Reconciling transparency, low Δ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
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

Research outcomes over time

This page was built for person: