Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.

Valentin Goranko, Dmitry Shkatov

Browse the full SEFM paper archive.