First-order logics of branching time on expressive power of temporal operators

Main Article Content

E. Kotikova
M. Rybakov

Аннотация

We consider the logic QCTL, a first-order exten- sion of CTL defined as a logic of Kripke frames for CTL. We study the question about recursive enumerability of its fragments specified by a set of temporal modalities we use. Then we discuss some questions concerned axiomatizability and Kripke completeness.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
E. Kotikova и M. Rybakov. First-order logics of branching time // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.
.
Раздел
Статьи