Standard

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

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

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборникенаучная

Harvard

Караваев, ЭФ 2010, Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342. в Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.. Издательство Санкт-Петербургского университета, стр. 340-342.

APA

Караваев, Э. Ф. (2010). Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342. в Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г. (стр. 340-342). Издательство Санкт-Петербургского университета.

Vancouver

Караваев ЭФ. Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342. в Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.. Издательство Санкт-Петербургского университета. 2010. стр. 340-342

Author

Караваев, Э.Ф. / Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342. Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.. Издательство Санкт-Петербургского университета, 2010. стр. 340-342

BibTeX

@inbook{d4248a33e1bc459391db383f74dfd9aa,
title = "Об одном способе определения интервалов в гибридной временной логике // Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. СПб.: СПбГУ, 2010. С.340-342",
abstract = "В стандартной крипкиевской семантике для временной логики истинностное значение высказывания соотносится с некоторыми моментами времени. В гибридной логике вводится особый род пропозициональных букв - номиналов. Обозначенное номиналом высказывание выражает суждение, которое являетсч итннным только в какое-то одно определённое время (или только в одном {"}возможном мире{"}). На основе работы А.А.Маркова о выведении метрики времени из отношения {"}раньше, чем{"} предлагается способ определения интервального номинала.",
keywords = "Временная логика, номиналы (особый род пропозициональных букв), оператор выполнения, ограничитель, отношенипе {"}раньше, чем{"}, цепь, интервал.",
author = "Э.Ф. Караваев",
year = "2010",
language = "русский",
isbn = "ISBN 978-5-288-05064-0",
pages = "340--342",
booktitle = "Современная логика: проблемы теории и истории. Материалы XI Международной научной конференции. Санкт-Петербург, 24-26 июня 2010 г.",
publisher = "Издательство Санкт-Петербургского университета",
address = "Российская Федерация",

}

RIS

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