LIRa Session: Junhua Yu

On Friday, February 13th, we will have a LIRa session with Junhua Yu.

Everyone is cordially invited!

Speaker: Junhua Yu (Tsinghua University)
Date and Time: Friday, February 13th, 2015, 14:30-16:00
Venue: Science Park 107, Room F1.15

Title: Instantiable neighbourhood (joint work with Johan van Benthem and Nick Bezhanishvili)
Abstract: Neighbourhood semantics of modal logic reads the truth of []Y on state S as ‘S has a neighbourhood in which Y is true everywhere’. What we considered is an extension of the language by formulas [](X1, …, Xn; Y), which intended to mean ‘S has a neighbourhood in which Y is true everywhere and each Xi is true somewhere’. In this talk, we will look at the expressive power and proof systems of the extended language. This is an undergoing joint work with Johan van Benthem and Nick Bezhanishvili.