Recent and upcoming talks by Alf Dolich

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, October 22, 2013 2:00 pm Graduate Center, rm, 3209 Speaker: Melvin Fitting Lehman College – CUNY Graduate Center Title: Justification Logic Semantics: A Little New, but Mostly Old Link: http://nylogic.org/talks/justification-logic-semantics-a-little-new-but-mostly-old Possible world semantics was introduced for justification logic in 2005. continue reading…

This Week in Logic at CUNY

Models of PA Wednesday, February 27, 2013 6:45 pm Speaker: Erez Shochat St. Francis College Title: Introduction to interstices and intersticial gaps II   Set theory seminar Friday, March 1, 2013 10:00 am Speaker: Joel David Hamkins The City University of New York Title: The omega one of chess This talk will be based on my recent paper with C. continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Tuesday, February 19, 2013 2:00 pm Speaker: Sergei Artemov The CUNY Graduate Center Title: On model reasoning in epistemic scenarios It was long noticed that the textbook “solution” of the Muddy Children puzzle MC via reasoning on the n-dimensional cube Q_n had a fundamental gap since it presupposed common knowledge of the Kripke model Q_n which was not assumed in the puzzle description. continue reading…