We reflect on lessons that the lottery and preface paradoxes provide for the logic of uncertain inference. One of these lessons is the unreliability of the rule of conjunction of conclusions in such ...
This paper concerns modal logics of provability -- Gödel-Löb system GL and Solovay logic S -- the smallest and the greatest representation of arithmetical theories in propositional logic respectively.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback