TY - CHAP

T1 - Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342

AU - Караваев, Э.Ф.

PY - 2010

Y1 - 2010

N2 - В стандартной крипкиевской семантике для временной логики истинностное значение высказывания соотносится с некоторыми моментами времени. В гибридной логике вводится особый род пропозициональных букв - номиналов. Обозначенное номиналом высказывание выражает суждение, которое являетсч итннным только в какое-то одно определённое время (или только в одном "возможном мире"). На основе работы А.А.Маркова о выведении метрики времени из отношения "раньше, чем" предлагается способ определения интервального номинала.

AB - В стандартной крипкиевской семантике для временной логики истинностное значение высказывания соотносится с некоторыми моментами времени. В гибридной логике вводится особый род пропозициональных букв - номиналов. Обозначенное номиналом высказывание выражает суждение, которое являетсч итннным только в какое-то одно определённое время (или только в одном "возможном мире"). На основе работы А.А.Маркова о выведении метрики времени из отношения "раньше, чем" предлагается способ определения интервального номинала.

KW - Временная логика

KW - номиналы (особый род пропозициональных букв)

KW - оператор выполнения

KW - ограничитель

KW - отношенипе "раньше

KW - чем"

KW - цепь

KW - интервал.

M3 - статья в сборнике

SN - ISBN 978-5-288-05064-0

SP - 340

EP - 342

BT - Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.

PB - Издательство Санкт-Петербургского университета

ER -