Title:Löb-Safe Logics for Reflective Agents

Abstract:Epistemic and doxastic logics are modal logics for knowledge and belief, and serve as foundational models for rational agents in game theory, philosophy, and computer science. We examine the consequences of modeling agents capable of a certain sort of reflection. Such agents face a formal difficulty due to Löb's Theorem, called Löb's Obstacle in the literature. We show how the most popular axiom schemes of epistemic and doxastic logics suffer from Löb's Obstacle, and present two axiom schemes that that avoid Löb's Obstacle, which we call Reasonable Löb-Safe Epistemic Doxastic logic (${LSED}^R$) and Supported Löb-Safe Epistemic Doxastic logic (${LSED}^S$).