Justification Logic Semantics: A Little New, but Mostly Old

Computational Logic SeminarTuesday, October 22, 20132:00 pmGraduate Center, rm, 3209

Melvin Fitting

Justification Logic Semantics: A Little New, but Mostly Old

Lehman College - CUNY Graduate Center

Possible world semantics was introduced for justification logic in 2005. Initially it was for the Logic of Proofs, but it quickly extended to “nearby” logics, and more slowly to a wider family. Eight years is a long time, and by now people may be generally familiar with the ideas without having gone through any of the details. I will try to remedy that.

Lehman College Professor Melvin Fitting received the Herbrand Award of 2012 for his groundbreaking contributions to the field of automated theorem proving, which focuses on getting computer programs to prove logical and mathematical deductions.

Posted by on October 17th, 2013