Recent and upcoming talks by Roman Kossak

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, October 1, 2013 2:00 pm Graduate Center, rm. 3209 Speaker: Antonis Achilleos Graduate Center CUNY Title: On the Complexity of Multi-agent Justification Logic Under Interacting Justifications Link: http://nylogic.org/talks/on-the-complexity-of-multi-agent-justification-logic-under-interacting-justifications  We introduce a family of multi-agent justification logics with interactions between the agents’ justifications, by extending and generalizing the two-agent versions of LP introduced by Yavorskaya in 2008. continue reading…

This Week in Logic at CUNY

This Week In Logic at CUNY Computer Science Colloquium and Computational Logic Seminar Thursday September 19, at 4:15, Room 3209 (NOTE: there will be no Seminar Meeting on Tuesday September 17) Speaker: Rohit Parikh, Brooklyn College and the Graduate Center. continue reading…

This Week In Logic at CUNY

Computational Logic Seminar Tuesday, April 16, 2013 2:00 pm Speaker: Che-Ping Su The University of Melbourne Title: Justification Logic for Argumentation Link: http://nylogic.org/talks/justification-logic-for-argumentation Argumentation is the process of giving arguments, counter-arguments, counter-counter-arguments and so on. continue reading…

15/Apr/2013: Simon Thomas, Roman Kossak

Rutgers Logic Seminars Spring 2013 Rooms 423 & 705, Hill Center Descriptive Set Theory Seminar Hill 423 Monday April 15th, 3:20-4:40 pm Simon Thomas, Rutgers Weak containment of measure preserving actions II Rutgers Logic Seminar Hill 705 Monday April 15th, 5:00-6:20 pm Roman Kossak, CUNY Some model theory inspired by the standard cut 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

  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 Tuesday, February 5, 2013 2:00 pm Speaker: Konstantinos Georgatos John Jay College Of Criminal Justice Title: Geodesic Semantics for Belief Change Any logical system that models human reasoning needs to address the possibility of error and the subsequent belief change once this error is recognized. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Time 2:00 – 4:00 PM, February 14, Room 3209 Speaker: Antonis Achilleos (Graduate Center) Title: The complexity of multi-agent explicit knowledge II. Models of Peano Arithmetic Wednesday, February 15, 2012 6:30 pm Room 4214-03 ((Note: new day and time)) Professor Roman Kossak (The City University of New York) More on open problems in Models of PA Set Theory Seminar Friday, February 17, 2012 10:00 am GC 6417 Ms. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: – – – – Monday, Feb 6, 2012 – – – – – – – – Tuesday, Feb 7, 2012 – – – – Computational Logic Seminar Time 2:00 – 4:00 PM, February 7 Room 3209. continue reading…

Rutgers Logic Seminar

Rutgers Logic Seminars Spring 2012 Room 705, Hill Center Descriptive Set Theory Seminar Monday Feb 6thth, 3:20-4:40 pm Simon Thomas, Rutgers Basic facts about turbulence Rutgers Logic Seminar Monday Feb 6th, 5:00-6:20 pm Roman Kossak, CUNY Open problems in models of PA By popular demand, the seminars will be followed by dinner at Clydz. continue reading…