Fangzhen Lin: A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. AAAI Spring Symposia 2014