SZEMINARIUM
Az ELTE TTK Tudomanytortenet es Tudomanyfilozofia Tanszeken (1088 Bp.,
Rakoczi ut 5.), a
"Tudomanyfilozofiai Teazo"
kereteben
Alberto Zanardo
(Matematikai Tanszek,
Paduai Egyetem, Olaszorszag)
"BRANCHING-TIME SEMANTICS FOR TEMPORAL LOGICS"
cimu eloadasara kerul sor.
ELOADASKIVONAT
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.
Az eloadas idotartama 50-60 perc, amelyet rovid szunet
utan kb. 30-60 perc vita kovet.
Idopontja: 1995 marcius 23., csutortok, 17 ora.
Helye: Rakoczi ut 5., I. em. 105.
Udvozlettel,
a szervezok: Kampis Gyorgy (kampis(a)ludens.elte.hu)
Szabo Laszlo (leszabo(a)ludens.elte.hu)
Szecsenyi Tibor (szecska(a)ludens.elte.hu)