Interpreting Knowledge-based Programs (Extended Version with Proofs)

Alexander Knapp, Heribert Mühlberger, Bernhard Reus

Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environm…