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 |
|---|---|---|
| Basis of globally admissible rules for logic S4 The Bulletin of Irkutsk State University. Series Mathematics | 2025-01-15 | Paper |
| Satisfiability problem in interval FP-logic The Bulletin of Irkutsk State University. Series Mathematics | 2023-07-12 | Paper |
| Explicit basis for admissible rules in \(K\)-saturated tabular logics Discrete Mathematics and Applications | 2023-05-25 | Paper |
| Globally admissible inference rules The Bulletin of Irkutsk State University. Series Mathematics | 2023-02-22 | Paper |
| Admissible inference rules and semantic property of modal logics The Bulletin of Irkutsk State University. Series Mathematics | 2021-12-14 | Paper |
| An explicit basis for admissible rules of modal logics of finite width | 2021-03-18 | Paper |
| Describing a basis in semireduced form for inference rules of intuitionistic logic Algebra i Logika | 2001-10-11 | Paper |
| Bases of admissible inference rules in tabular modal logics of depth 2 Algebra i Logika | 2001-07-24 | Paper |
Research outcomes over time
This page was built for person: V. V. Rimatskij
