Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge | IEEE Conference Publication | IEEE Xplore