# Progression and Verification of Situation Calculus Agents with Bounded Beliefs

> Research article (Studia Logica, 2015) · cited 13× · AI/ML

**Wikidata**: [openalex:W1763963671](https://www.wikidata.org/wiki/openalex:W1763963671)  
**Source**: https://4ort.xyz/entity/progression-and-verification-of-situation-calculus-agents-with-bounded-beliefs