Krishna Manoorkar

Available identifiers

zbMath Open manoorkar.krishna-bMaRDI QIDQ6081074

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
Causal Kripke Models	2024-02-28	Paper
Rough concepts	2023-10-25	Paper
Labelled calculi for the logics of rough concepts	2023-08-17	Paper
Labelled calculi for lattice-based modal logics	2023-08-17	Paper
Subordination algebras as semantic environment of input/output logic	2023-06-02	Paper
Logics for Rough Concept Analysis	2018-11-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

Research outcomes over time

This page was built for person: Krishna Manoorkar