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

Статья в сборнике "Математические вопросы кибернетики" №9, Москва, 2000
Авторы: Янов Ю.И.
Модальные логики и арифметика. I.
Аннотация:
В работе предложен обобщенный подход к описанию арифметических предикатов в пропозициональных полимодальных логиках, указаны способы представления систем предикатов в этих логиках. Рассмотрена и обратная проблема - построение арифметических моделей для модальных логик.
Ключевые слова:
модальные логики, арифметика, предикат, доказуемость, модель
Язык публикации: русский, страниц: 8 (с. 17-24)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Янов Юрий Иванович,  ИПМ им. М.В. Келдыша РАН