The Basic Logic of Proofs

TitleThe Basic Logic of Proofs
Publication TypeTechnical Reports
Year of Publication1992
AuthorsArtemov, S, Strassen, T
AbstractPropositional Provability Logic was axiomatized in [Sol76]. This logic describes the behaviour of the arithmetical operator ``$y$ is provable''. The aim of the current paper is to provide propositional axiomatizations of the predicate ``$x$ is a proof of $y$'' by means of modal logic, with the intention of meeting some of the needs of computer science.