I present some recent work in modal logic by myself and a number of co-authors, tied together by three common topics: neighborhood semantics, coalgebraic modal logic and modal fixpoint logic. The focus of the talk will be on giving a reasonably self-contained presentation of the research area, and to present some technical results on expressive power and axiomatization of modal logics. Time permitting I will also briefly discuss applications to formal reasoning about games.
CLLAM seminar: Sebastian Enqvist
EVENEMANG
Datum:
05 maj 2017 10:00
-
05 maj 2017 12:00
Plats: D 700
Plats: D 700
Neighborhoods, coalgebras and fixpoints in modal logic: a survey of some recent work.
Senast uppdaterad:
2 maj 2017
Webbredaktör:
Peter Pagin
Sidansvarig: Filosofiska institutionen