A. V. Karpenko
From MaRDI portal
Person:431658
Available identifiers
zbMath Open karpenko.anastasia-valerevnaMaRDI QIDQ431658
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 |
|---|---|---|
| Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics | 2020-02-05 | Paper |
| Interpolation in weakly transitive modal logics | 2012-12-11 | Paper |
| Weak interpolation in extensions of the logics S4 and K4 | 2012-06-29 | Paper |
| Simple weakly transitive modal algebras | 2011-01-24 | Paper |
| Interpolation properties in the extensions of the logic of inequality | 2010-11-15 | Paper |
Research outcomes over time
This page was built for person: A. V. Karpenko
