RUS  ENG
Full version
PEOPLE
Karpenko Anastasiya Valer'evna
Candidate of physico-mathematical sciences (2010)

Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 19.02.1986
E-mail: , ,
Keywords: modal logics, modal algebras, interpolation, amalgamation.
UDC: 512.54, 510.64, 512.563, 510.6, 510.5, 510.643, 512.57

Subject:

Interpolation in modal logic.


Main publications:
  1. A. V. Karpenko, L. L. Maksimova, “Prostye slabo tranzitivnye modalnye algebry”, Algebra i logika, 49:3 (2010), 346–365
  2. A. V. Karpenko, “Interpolyatsionnye svoistva v rasshireniyakh logiki neravenstva”, Sib. matem. zhurn., 51:3 (2010), 553–568
  3. A. V. Karpenko, “Slaboe interpolyatsionnoe svoistvo v rasshireniyakh logik S4 i K4”, Algebra i logika, 47:6 (2008), 705–722

Publications in Math-Net.Ru

Personal pages:

Organisations:


© Steklov Math. Inst. of RAS, 2024