Seminar za matemati~cku logiku i osnove matematike
povijest

Sa~zetak:

Uvodimo pro~sirenje osnovnog temporalnog jezika operatorima
"since" i "until". Rije~c je o izuzetno va~znim operatorima
koji pokrivaju sva ostala uobi~cajena pro~sirenja temporalnog
jezika, te dovode do potpune ekspresivnosti temporalnog jezika
za standardni jezik logike prvog reda.