scientific article; zbMATH DE number 3995667

zbMath0615.03043MaRDI QIDQ4723728

William N. Reinhardt

Publication date: 1985

Full work available at URL: https://eudml.org/doc/181755

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal operatorintuitive provabilityconsistency of a variant of Church's thesis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (1)

Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis

This page was built for publication: