Tag: 2001

  • Discussing “Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic”

    Discussing “Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic”

    This is one of the classic papers – I’ve read, and cited, it a few times over the years myself – looking at extending the classic ‘Curry-Howard’ correspondence between lambda calculus and intuitionistic logic, to intuitionistic modal logic.

  • Discussing “Modal Logic”

    Discussing “Modal Logic”

    I learned modal logic from a book by Hughes and Cresswell, a pair of philosophers from my home city of Wellington, so it was interesting for me to see the very different approach taken in this week’s book, which is now the standard reference for the field ( along with the Chargrov- Zakharyaschev book of…