Connections
logic
Entity
Kurt Gödel
Entity
propositional calculus
Entity
Stanford Encyclopedia of Philosophy
Entity
tautology
Entity
modal logic
Entity
Peano axioms
Entity
proof theory
Entity
well-founded relation
Entity
Robert M. Solovay
Entity
Martin Löb
Entity
doxastic logic
Entity
George Boolos
Entity
Kripke semantics
Entity
theory
Entity
Löb's theorem
Entity
normal modal logic
Entity
Per Lindström
Entity
Israel Journal of Mathematics
Entity