Speaker: Melvin Fitting, Graduate Center CUNY
Title: Justification Logic Semantics: A Little New, but Mostly Old
Abstract.
Possible world semantics was introduced for justification logic in 2005. Initially it was for LP, 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.
I’ll produce a justification logic counterpart to this, axiomatize it, provide a semantics, and prove soundness and completeness. There will not be time to prove a realization theorem, but I believe it should be straightforward