A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations

Open in new window