Аннотация:
Даются семантическое описание всех полных по Новикову расширений логики Даммета в языке с несколькими дополнительными константами, а также семантическое описание всех полных по Новикову расширений логики $L2$ в языке с единственной дополнительной константой.
Ключевые слова:логика Даммета, логика $L2$, полные по Новикову расширения логики.
Полный текст:
PDF файл (241 kB)
