Recent and upcoming talks by Dustin Mulcahey

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, November 5, 2013 2:00 pm Graduate Center, rm. 3209 Speaker: Elena Nogina The City University of New York Title: Reflection Principles Involving Provability and Explicit Proofs Link: http://nylogic.org/talks/reflection-principles-involving-provability-and-explicit-proofs  Reflection principles are classical objects in proof theory and the areas studying Gödel’s Incompleteness. continue reading…

This Week in Logic at CUNY

— Tuesday, September 3, 2013 — Computational Logic Seminar Tuesday, September 3, 2013 2:00 pm Graduate Center, room 3209 Speaker: Sergei Artemov The CUNY Graduate Center Title: Towards Syntactic Epistemic Game Theory Link: http://nylogic.org/talks/towards-syntactic-epistemic-game-theory The traditional semantic approach to consider a game as an Aumann structure, though flexible and convenient, is not foundationally satisfactory due to assumptions that a given Aumann structure adequately represents the game and that this structure itself is common knowledge for the players. continue reading…