28 Feb
1995
28 Feb
'95
6:31 p.m.
\input head
\nopagenumbers
\hsize=140 mm
\centerline{\big
SZEMIN\'ARIUM}
\bigskip
Az ELTE TTK Tudom\'anyt\"ort\'enet \'es Tudom\'anyfiloz\'ofia
Tansz\'eken (1088 Bp., \break R\'a\-k\'o\-czi \'ut 5.), a
\bigskip
\centerline{\mid {"Tudom\'anyfiloz\'ofiai Te\'az\'o"}}
\medskip
\centerline {
keret\'eben}
\vskip 0.5 cm
\hrule
\vskip 0.2 cm
\centerline{\big
Alberto Zanardo}
\bigskip
\centerline{(Matematikai Tansz\'ek,}
\centerline{P\'aduai Egyetem, Olaszorsz\'ag)}
\vskip 0.6 cm
\centerline{\big
"BRANCHING-TIME SEMANTICS}
\medskip
\centerline{\big
FOR TEMPORAL LOGICS"}
\vskip 0.6 cm
\centerline{c\'\i m\H u el\H oad\'as\'ara ker\"ul sor.}
\vskip 0.2 cm
\hrule
\vskip 0.6 cm
\centerline{\bf EL\H OAD\'ASKIVONAT}
The basic idea underlying branching-time logic is that, in general,
every moment in time has only one past, but many possible futures.
This leads to pictureing time as a tree or as a set of linear orders
(possible histories, possible courses of affairs) which bear
some connection to each other.
In the logic of linear time, the Prior operators P (it was the case
that) and F (it will be the case that) are generally interpreted in a
standard Kripke fashion. In a branching-time context, instead, these
operators can be interpreted in various different ways and it is
often meaningful to consider other temporal or modal operators and to
combine them with the Priorean ones. Moreover, if the interpretation
of these operators is meant to support a branching-time semantics for
propositional temporal languages, there are different options
also for the evaluation of propositional variables.
For this reason, there are various branching-time semantics
for temporal languages. In the talk, these semantics will be discussed
and compared both from the point of view of model theory and from
the point of view of their adequacy to specify the meaning of
tensed expressions in natural languages.
\vskip 0.3 cm
\noindent
Az el\H oad\'as id\H otartama 50-60 perc, amelyet r\"ovid sz\"unet
ut\'an kb. 30-60 perc vita k\"ovet.
\noindent
Id\H opontja: {\bf 1995 m\'arcius 23., cs\"ut\"ort\"ok, 17 \'ora}.
Helye: R\'ak\'oczi \'ut 5., {\bf I. em. 105.}
\vskip 5 pt
\noindent
\"Udv\"ozlettel,
\settabs 9 \columns
\+a szervez\H ok: &&Kampis Gy\"orgy &&(kampis(a)ludens.elte.hu)\cr
\+ &&Szab\'o L\'aszl\'o
&&(leszabo(a)ludens.elte.hu)\cr
\+ &&Sz\'ecs\'enyi Tibor
&&(szecska(a)ludens.elte.hu)\cr
\bye