Johan van Benthem and Löb's Logic

Activity: Talk or presentation › Invited talk › Popular

Period27 Sept 2014
Event titleCelebration event in Honour of Johan van Benthem
Event typeWorkshop
LocationAmsterdam, NetherlandsShow on map

Keywords

  • fixed points
  • modal logic
  • intuitionism
  • Löb's Logic

Documents & Links

  • johan_14

    File: application/pdf, 523 KB

    Type: Text