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

researchr

You are not signed in
Sign in
Sign up

Valentin Goranko, Dmitry Shkatov. Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 237-246, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Valentin Goranko' in GoogleThis author has not been identified. Look up 'Dmitry Shkatov' in Google

runs on WebDSL