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.
At the beginning of the 20th century, the German mathematician David Hilbert (1862–1943) advocated an ambitious program to formulate a system of axioms and rules of inference that would encompass all ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback