Constructive Modalities with Provability Smack

Tadeusz Litak

I overview the work of the Tbilisi school on intuitionistic modal logics of well-founded/scattered structures and its connections with contemporary theoretical computer science. Fixed-point theorems and their consequences are of particular interest.

Knowledge Graph



Sign up or login to leave a comment