В стандартной крипкиевской семантике для временной логики истинностное значение высказывания соотносится с некоторыми моментами времени. В гибридной логике вводится особый род пропозициональных букв - номиналов. Обозначенное номиналом высказывание выражает суждение, которое являетсч итннным только в какое-то одно определённое время (или только в одном "возможном мире"). На основе работы А.А.Маркова о выведении метрики времени из отношения "раньше, чем" предлагается способ определения интервального номинала.
Язык оригиналарусский
Название основной публикацииСовременная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.
ИздательИздательство Санкт-Петербургского университета
Страницы340-342
ISBN (печатное издание)ISBN 978-5-288-05064-0
СостояниеОпубликовано - 2010
Опубликовано для внешнего пользованияДа

    Области исследований

  • Временная логика, номиналы (особый род пропозициональных букв), оператор выполнения, ограничитель, отношенипе "раньше, чем", цепь, интервал.

ID: 4543921