Sökning
Visas titlar 31-40 av 115
Arithmetical realizations of modal formulas. Preliminary version.
(1996)
This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completeness theorems by Berarducci, Carlson, Shavrukov, and Solovay. Conditions are provided for recursively enumerable sets of ...
Metod och medvetande
(1994)