Abstract
In this paper we characterize the closed fragment of the enriched probability logic of PRA and call the logic characterizing it PGL. These logics are enriched in the sense that they contain a constant symbol S which denotes the arithmetical sentence axiomatizing IΣ1.
We also determine the closed fragment of the
... read more