В стандартной крипкиевской семантике для временной логики истинностное значение высказывания соотносится с некоторыми моментами времени. В гибридной логике вводится особый род пропозициональных букв - номиналов. Обозначенное номиналом высказывание выражает суждение, которое являетсч итннным только в какое-то одно определённое время (или только в одном "возможном мире"). На основе работы А.А.Маркова о выведении метрики времени из отношения "раньше, чем" предлагается способ определения интервального номинала.
Original languageRussian
Title of host publicationСовременная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.
PublisherИздательство Санкт-Петербургского университета
Pages340-342
ISBN (Print)ISBN 978-5-288-05064-0
StatePublished - 2010
Externally publishedYes

ID: 4543921