LOGIC T-shirt

It seems that the t-shirt I designed with my wife (the credits mostly go to her) is gaining popularity... If you like to have one please email me, and we are happy to exchange it for something creative/artistic from you (e.g., a poem written in FOL or modal languages) :)


蓝底正字small

ESSLLI

I will teach a course on non-standard epistemic logics at ESSLLI about knowing whether, knowing what, knowing how and knowing why.

Some slides of my talks are online

Click here