RENDKIVULI SZEMINARIUM Az ELTE TTK Tudomanytortenet es Tudomanyfilozofia Tanszeken (1088 Bp., Rakoczi ut 5.) Alberto Zanardo (Matematikai Tanszek, Paduai Egyetem, Olaszorszag) "RESULTS AND OPEN PROBLEMS IN THE LOGIC OF BRANCHING-TIME" cimmel tart eloadast. ELOADASKIVONAT The mathematical logic for the semantics presented in the previous talk will be considered. Axiomatizability, decidability, and definability results, as well as some open problems, will be presented and discussed. References J. Burgess, 'Logic and Time', J. of Symbolic Logic 44, 1979, pp.556-582 (section 3). R. Thomason, 'Combinations of tense and modality', in D. Gabbay and F. Guenthner (eds.), The Handbook of Philosophical Logic, vol.2, D. Reidel, Dordrecht (1984), pp.135-165. A. Zanardo, 'Branching-time logic with quantification over branches - The point of view of modal logic', Preprint Dipartimento di Matematica P. ed A. Universita' di Padova 25, 1994 (to appear in the J. of Symbolic Logic). Az eloadas idotartama 50-60 perc, amelyet rovid szunet utan kb. 30-60 perc vita kovet. Idopontja: 1995 marcius 24., pentek, 16 ora. Helye: Rakoczi ut 5., I. em. 105. Minden erdeklodot szeretettel varunk.