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

№ 86, Москва, 2007 г.
Авторы: Мучник А.А.
Об S5-T-Y логиках
Аннотация:
Изучается наименьшая S5-T-Y логика L∞. Язык этой логики получается добавлением к языку S5 связок T ('завтра') и Y ('вчера'). К аксиоматике S5 в логике L∞ добавлены аксиомы T-Y- логики (см.[2] и аксиомы: oA → TA ∧ YA, TA ∨ YA → ◊A ToA ↔ oA, YoA ↔ oA и правило подстановки. Доказывается, что точной шкалой Крипке для L∞ является счетное объединение шкал с порядковым типом Z (множества целых чисел). Используется приведение формул к совершенной дизъюнктивной нормальной форме (СДНФ).
Язык публикации: русский, страниц: 8
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Мучник Альберт Абрамович,  ИПМ им. М.В. Келдыша РАН