Abstract
We study the multiagent epistemic logic CMAEL(CD) with operators for common and distributed knowledge for all coalitions of agents. We introduce Hintikka structures for this logic and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using this result, we design an incremental tableau based decision procedure for testing satisfiability in CMAEL(CD).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dziubinski, M., Verbrugge, R., Dunin-Keplicz, B.: Complexity issues in multiagent logics. Fundamenta Infomaticae 75, 239–262 (2007)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM 39(2), 328–376 (1992)
Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multi-agent systems. ACM Transactions on Computational Logic (to appear), http://tocl.acm.org/accepted.html
Goranko, V., Shkatov, D.: Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge. In: Proc. of the 6th IEEE Iternational Conference on Software Engineering and Formal Methods. IEEE Press, Los Alamitos (2008), http://arxiv.org/abs/0808.4133
Halpern, J.Y.: Using reasoning about knowledge to analyze distributed systems. Annual Review of Computer Science 2, 37–68 (1987)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of ACM 37(3), 549–587 (1990)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319–379 (1992)
van der Hoek, W., Meyer, J.-J.C.: Making some issues of implicit knowledge explicit. International Journal of Foundations of Computer Science 3(2), 193–224 (1992)
van der Hoek, W., Meyer, J.-J.C.: Epistemic Logic for AI and Computer Science. In: CUP (1995)
van der Hoek, W., Meyer, J.-J.C.: A complete epistemic logic for multiple agents–combining distributed and common knowledge. In: Bacharach, M.O.L., et al. (eds.) Epistemic Logic and the Theory of Games and Decisions, pp. 35–68. Kluwer Academic Publishers, Dordrecht (1997)
Wolper, P.: The tableau method for temporal logic: an overview. Logique et Analyse 28(110-111), 119–136 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goranko, V., Shkatov, D. (2008). Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2009. Lecture Notes in Computer Science, vol 5407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92687-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-92687-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92686-3
Online ISBN: 978-3-540-92687-0
eBook Packages: Computer ScienceComputer Science (R0)