Abstract
We introduce an epistemic version of validity and completeness of first order logic, based on the notions of and . We then show how the perspective here considered may help to solve an epistemic puzzle arising from Gödel's second incompleteness theorem.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have