Computational Logic

A 70th Birthday Celebration Honoring Melvin Fitting
Video of Talks

There were eight talks. Unfortunately, the talk by Arnold Koslow was not properly recorded, and the talk by Vladimir Lifschitz was recorded missing its beginning. Apologies for this. Here are links to the videos.

  1. Patrick Blackburn
  2. Michael Dunn
  3. Melvin Fitting
  4. Arnold Koslow (missing)
  5. Saul Kripke
  6. Vladimir Lifschitz (beginning missing)
  7. Jan Plaza
  8. Raymond Smullyan