Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная
Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342. / Караваев, Э.Ф.
Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.. Издательство Санкт-Петербургского университета, 2010. стр. 340-342.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная
}
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 -
ID: 4543921