TR-2011010: Possible World Semantics for First Order LP
Melvin Fitting · CUNY Academic Works (City University of New York) · 2011
In [1] an elegant formulation of the first-order logic of proofs was given, FOLP.That report also proved an arithmetic completeness theorem, and a realization theorem for the logic.In this report we provide a possible-world semantics for FOLP, based on the propositional semantics of [2].Motivation and intuition for the logic itself can be found in [1], and are not discussed here.We also give an Mkrtychev semantics for FOLP.This report was essentially completed June 10, 2011.