Некоторые открытые вопросы в теории схем программ и динамических логик

В статье дается широкий обзор состояния теории схем программ и динамических логик, главное внимание при этом уделяется вопросам выразительности. В начале статьи приведены все необходимые определения. Освещается значительное количество результатов в этой области, как ставших уже классическими, так и недавних и сравнительно мало известных. Значительное внимание уделено обсуждению методов доказательства освещаемых результатов, хотя формальные доказательства и не приводятся. Часть статьи посвящена открытым вопросам теории, обсуждаются связанные с ними результаты и гипотезы.
Знакомство со статьей позволит читателю войти в обозреваемую проблематику, ориентироваться в ее методах и результатах. Обзор может служить и справочным материалом.
Библиогр. 57 назв.