Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №11, Москва, 2002
Авторы: Янов Ю.И.
Модальные логики и арифметика. II.
Аннотация:
В работе продолжено исследование выразительных возможностей модальных логик по отношению к классическому исчислению предикатов и арифметике. Для предикатов и термов выделены специальные свойства, которые представлены формулами модальных логик. Определены модальные логики, порождаемые множествами свойств. Для этих логик рассмотрены вопросы применения к бескванторной арифметике, определимости.
Ключевые слова:
модальные логики, исчисление предикатов, арифметика, доказуемость, модель, определимость
Язык публикации: русский, страниц: 14 (с. 49-62)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Янов Юрий Иванович,  ИПМ им. М.В. Келдыша РАН