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

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