Journal article:

    Samuel R. Buss.
    "The modal logic of pure provability."
    Notre Dame Journal of Formal Logic 31 (1990) 225-231.

    Download article: postscript or PDF

    Abstract: We introduce a propositional modal logic~$\PP$ of "pure" provability in arbitrary theories (propositional or first-order) where the $\nec$ operator means {\em "provable in all extensions"}. This modal logic has been considered in another guise by Kripke. An axiomatization and a decision procedure are given and the $\nec\poss$~subtheory is characterized.

Back to Sam Buss's publications page.