Report copyright - A Runs-and-Systems Semantics for Logics of Announcements · 2015. 10. 5. · Logics of announcements are logics of knowledge to reason about agents that com-municate by broadcasting
Please pass captcha verification before submit form