Logics for Epistemic Programs | Open Awesome