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

М. Н. Шматков

Аннотация


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

Полный текст:

PDF

Ссылки

  • На текущий момент ссылки отсутствуют.