V. V. Rimatskij

Available identifiers

zbMath Open rimatskii.vitalii-valentinovichMaRDI QIDQ823962

List of research outcomes

Publication	Date of Publication	Type
Basis of globally admissible rules for logic S4	2025-01-15	Paper
Satisfiability problem in interval FP-logic	2023-07-12	Paper
Explicit basis for admissible rules in \(K\)-saturated tabular logics	2023-05-25	Paper
Globally admissible inference rules	2023-02-22	Paper
Admissible inference rules and semantic property of modal logics	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4966006	2021-03-18	Paper
Describing a basis in semireduced form for inference rules of intuitionistic logic	2001-10-11	Paper
Bases of admissible inference rules in tabular modal logics of depth 2	2001-07-24	Paper

Research outcomes over time

This page was built for person: V. V. Rimatskij