Recent and upcoming talks by Melvin Fitting

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, November 12, 2013 2:00 pm Graduate Center, rm. 3209  Speaker: Melvin Fitting Lehman College – CUNY Graduate Center Title: Realization Semantically Link: http://nylogic.org/talks/realization-semantically  This talk continues my previous one from October 22. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, October 22, 2013 2:00 pm Graduate Center, rm, 3209 Speaker: Melvin Fitting Lehman College – CUNY Graduate Center Title: Justification Logic Semantics: A Little New, but Mostly Old Link: http://nylogic.org/talks/justification-logic-semantics-a-little-new-but-mostly-old Possible world semantics was introduced for justification logic in 2005. continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Tuesday, April 30, 2013 2:00 pm rm. 3209, Graduate Center CUNY Speaker: Melvin Fitting Lehman College, CUNY Graduate Center Title: Realization Implemented Justification logics are connected to modal logics via realization theorems. continue reading…

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, February 27, 2012 7:00 pm Room 4214-03 Professor Erez Shochat (St. Francis College) Automorphism groups of saturated models of PA Abstract. In this talk we survey recent results of Nurkhaidarov and Schmerl concerning the automorphism groups or saturated models of PA. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: Model Theory Seminar Friday, February 24, 2012 12:30 pm GC 6417 Professor Jouko Väänänen (University of Helsinki) On second order model-theory I Abstract. This mini course will cover the following topics: second order characterizable structures, Henkin models, Completeness Theorem, internal categoricity, and existence of second order equivalent non-isomorphic models. continue reading…