Recent and upcoming talks by Whanki Lee

This Week in Logic at CUNY

  November 27, Time 2:00 – 4:00 PM, Room 3309 Speaker: Melvin Fitting, CUNY Title: Possible world semantics for first order LP Abstract: Propositional Justification Logics are modal-like logics in which the usual necessity operator is split into a family of more complex terms called justifications. continue reading…

This Week in Logic at CUNY

  Models of Peano Arithmetic Monday, March 12, 2012 7:00 pm Room 4214-03 Professor Alfred Dolich (Kingsborough Community College) The D’Auquino Knight Starchenko Theorem   Computational Logic Seminar Time 2:00 – 4:00 PM, March 13, Room 3209. 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…