Linear temporal logic GOLOG Fluent calculus Situation calculus Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages", Linköping Electronic Articles in Computer and Information Science, vol 3, nr 16.
Пуна темпорална логика GOLOG Течан рачун Ситуација рачун Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages", Linköping Electronic Articles in Computer and Information Science, vol 3, nr 16.