Recent and upcoming talks by Sergei Artemov

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…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, March 5, 2013 2:00 pm Speaker: Sergei Artemov The CUNY Graduate Center Title: Lost in translation: a critical view of epistemic puzzles solutions. There are two basic ways to specify an epistemic scenario: 1. 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…

This Week in Logic at CUNY

Computational Logic Seminar January 29, Time 2:00 – 4:00 PM, Room 3209 Speaker: Sergei Artemov, CUNY Graduate Center Title: Definitive solutions of strategic games Abstract: In his dissertation of 1950, Nash based his concept of solution to a game on the principles that “a rational prediction should be unique, that the players should be able to deduce and make use of it.” In this paper, we address the issue of when Nash expectations of a definitive solution hold and whether the Nash Equilibrium (NE) solution concept is a match for such definitive solutions. continue reading…

Sergei Artemov: Generic Common Knowledge

Computational Logic Seminar August 28, Time 2:00 – 4:00 PM, Room 3309. Speaker: Sergei Artemov (Graduate Center) Title: Generic Common Knowledge Abstract: In four points of origin, each coming from a different body of motivations: David Lewis in “Convention,” 1969; John McCarthy in “On the model theory of knowledge,” 1970-78; Robert Aumann in “Agreeing to Disagree,” 1976; S.A. continue reading…