A new activity has been launched at our faculty — the English-speaking seminar on modal logic, led by Evgeny Borisov. The first meeting took place on the 30th of November. The second meeting is going to take place on Thursday, December 6, at 12.25 in the room 308 (4th building). The topic to be discussed is tableau proof in propositional modal logic. The discussion will be based on the textbook «First-Order Modal Logic» by M. Fitting and R. Mendelsohn, chapter 2.
Everybody who has interest for the topic is welcome!