Collapsing Knowledge and Epistemic Church’s Thesis

DOI10.1093/ACPROF:OSO/9780198759591.003.0006zbMath1433.03042OpenAlexW2554405101MaRDI QIDQ5221593

Timothy J. Carlson

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.003.0006

zbMATH Keywords

epistemic arithmeticepistemic Church's thesis

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Turing machines and related notions (03D10)

This page was built for publication: Collapsing Knowledge and Epistemic Church’s Thesis