A “definitive” probabilistic semantics for first-order logic Kent Bendall OriginalPaper Pages: 255 - 278
The modal logic of provability. The sequential approach Giovanni SambinSilvio Valentini OriginalPaper Pages: 311 - 342