|
Сибирские электронные математические известия, 2009, том 6, страницы 312–325
(Mi semr69)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Статьи
Временная логика линейных по времени фреймов с аксиомой индукции
В. Ф. Юн Институт математики им. С. Л. Соболева СО РАН
Аннотация:
A class of frames based on a class of frames with discrete linear time with current time point clusters is considered. The temporal calculus $\mathbf{LInd}$ is found which is complete with respect to this class. It is proved that $\mathbf{LInd}$ has the finite model property and therefore it is decidable.
Ключевые слова:
temporal logic, Kripke frames, axiomatization, finite model property.
Поступила 5 июня 2009 г., опубликована 28 октября 2009 г.
Образец цитирования:
В. Ф. Юн, “Временная логика линейных по времени фреймов с аксиомой индукции”, Сиб. электрон. матем. изв., 6 (2009), 312–325
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr69 https://www.mathnet.ru/rus/semr/v6/p312
|
Статистика просмотров: |
Страница аннотации: | 237 | PDF полного текста: | 76 | Список литературы: | 60 |
|