THEORETICAL PHILOSOPHY FORUM
Institute of Philosophy
Faculty of Humanities, Eotvos University
Room 208 Monday 4:00 PM Muzeum krt. 4/i, Budapest
Web site: http://phil.elte.hu/tpf

11 June 4:00 PM Room 208 (Muzeum krt. 4/i)

Marta Bilkova
Department of Logic, Charles University, Prague

Modal logic in computer science

Abstract: http://phil.elte.hu/tpf/2007/June/#2