Доказательство теоремы полноты исчисления динамической логики DL

Abstract

В данной работе рассматриваются вопросы, относящиеся к теории вычислимости. Проводится подробное детальное доказательство теоремы о полноте исчисления динамической логики DL, приведенной Ю.Л. Ершовым в работе [6].