A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents | Publicación