Recent and upcoming talks by Antonis Achilleos

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

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…