For best experience please turn on javascript and use a modern browser!
Bekijk de site in het Nederlands

Sumit Sourabh investigates correspondence and canonicity for non-classical logic. He focuses on the Sahlqvist correspondence theory in particular, which was originally developed for classical modal logic, and provides a systematic translation between classical modal logic and first-order logic.

Event details of Correspondence theory in non-classical logic
Date 9 September 2015
Time 13:00
Location Aula - Oude Lutherse kerk
Room Location

S. Sourabh: Correspondence and Canonicity in Non-Classical Logic.

Supervisor

Prof. Y. Venema

Co-supervisors

A. Palmigiano and N. Bezhanishvili 

Aula - Oude Lutherse kerk

Room Location

Singel 411
1012 XM Amsterdam