A. V. Karpenko
From MaRDI portal
Person:431658
Available identifiers
zbMath Open karpenko.anastasia-valerevnaMaRDI QIDQ431658
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: A. V. Karpenko