ИСТИНА

Максимова Лариса Львовна

Соавторы: Скворцов Д.П., Шехтман В.Б.

5 статей

Количество цитирований статей в журналах по данным Web of Science: 4

IstinaResearcherID (IRID): 8267522

Деятельность

• Статьи в журналах

  • • 1979 The Impossibility of a Finite Axiomatization of Medvedev’s Logic of Finitary Problems
    • Maksimova Larisa, Shehtman Valentin, Skvortsov Dmitrij
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 20, с. 394-398
  • 
    • 1979 Невозможность конечной аксиоматизации логики финитных задач Медведева
    • Максимова Лариса Львовна, Скворцов Дмитрий Павлович, Шехтман Валентин Борисович
    • в журнале Доклады Академии наук, издательство Наука (М.), том 245, № 5, с. 1051-1054

• Статьи в сборниках

  • • 2003 Restricted interpolation in modal logics
    • Maksimova Larisa
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King's College Publications London, том 4, с. 297-311
  • • 2002 Projective Beth's properties in infinite slice extensions of the modal logic K4
    • Maksimova Larisa
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания World Scientific, том 3, с. 349-363
  • 
    • 1998 Interpolation in superintuitionistic and modal predicate logics with equality
    • Maksimova Larisa
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания CSLI Publications Stanford, USA, том 1, с. 133-140