Logic ForAll
Forro' Logico: A blog to keep things.
Tuesday, June 17, 2025
Intuitionistic Modal Logic: are you sure?
›
I was always very keen on the idea that philosophical logicians and programming language designers interested in non-classical modal logics...
Saturday, June 7, 2025
Oh dear: my webpage in Bham is gone!
›
I have been an Honorary Fellow at the School of Computer Science in the University of Birmingham, UK since 2000. I am still officially one ...
Sunday, March 16, 2025
Topos@4
›
This picture from the first blog post of the Topos Institute celebrates the official opening of Topos in Jan 2021. Topos already existe...
Friday, March 14, 2025
What about Topos?
›
This post is simply a condensed version of an interview that Brendan gave to Eric Gilliam . I wanted to reproduce it here as I want to t...
›
Home
View web version
