Springer Philosophy, 30 Aug 2016 #OAarticle from Studia Logica! Progression and Verification of Situation Calculus Agents with Bounded Beliefs http://ow.ly/HWao30…