A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

Knowledge-Based Systems

Volumn 23, Issue 2, 2010, Pages 162-168

  Wu, Lijun ^a   Su, Jinshu ^b   Su, Kaile ^c   Luo, Xiangyu ^d   Yang, Zhihua ^e  

^a UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^c PEKING UNIVERSITY   (China)

^d TSINGHUA UNIVERSITY   (China)

^e GUANGDONG UNIVERSITY OF BUSINESS STUDIES   (China)

Author keywords

CDKBC proof system; Concurrent dynamic logic; Multi agent systems

Indexed keywords

DYNAMIC LOGIC; DYNAMIC PROPERTY; PROOF SYSTEM;

DYNAMIC PROGRAMMING;

MULTI AGENT SYSTEMS;

EID: 75849139837     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2009.11.017     Document Type: Article

References (21)

1. Hintikka J. Knowledge and Belief (1962), Cornell University Press, Ithaca, NY
2. Lenzen W. Recent work in epistemic logic. Acta Philosophica Fennica 30 (1978) 1-219
3. Fagin R., Halpern J., Moss Y., and Vardi M. Reasoning about Knowledge (1995), Springer, Belin
4. Meyer J., and Van der Hoek W. Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science vol. 41 (1995), Cambridge University Press, Cambridge
5. Aumann R., and Brandenburger A. Epistemic conditions for nash equilibrium. Econometrica 63 (1995) 16-1180
6. Fisher M.J., and Ladner R.E. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18 2 (1977) 194-211
7. Harel D., Kozen D., and Tiuryn J. Dynamic Logic (2000), MIT Press
8. van Ditmarsch H., van der Hoek W., and Kooi B. Dynamic epistemic logic with assignment. In: Dignum F., Dignum V., Koenig S., Kraus S., Singh M.P., and Wooldridge M. (Eds). Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems vol. 1 (2005), ACM Inc., New York 141-148
9. J. Plaza, Logics of public communications, in: Proceedings of the Fourth International Symposium on Methodologics for Intelligent System, 1989, pp. 201-216.
10. J. Gerbrandy, Bisimulation on planet Kripke, Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01, 1999.
11. J. Van Bentem, Logics of information update, in: Proceedings of TARK VIII, Los Altos, 2001, pp. 51-88.
12. van Ditmarsch H. Description of game actions. Journal of Logic, Language and Information 11 (2002) 349-365
13. Peleg D. Concurrent dynamic logic. Journal of the ACM 34 2 (1987) 450-479
14. Peleg D. Communication in concurrent dynamic logic. Journal of Computer and System Sciences 35 (1987) 23-58
15. H. van Ditmarsch, W. van der Hoke, B. Kooi, Concurrent dynamic epistemic logic for MAS, in: Knowledge Contributors, Dordrecht, 2003, pp. 45-82.
16. Kaile Su, Abdul Sattar, et al., A computational grounded logic of knowledge, belief and certainty, in: AAMAS-2005, pp. 149-156.
17. Lamarre P., and Shoham Y. Knowledge, certainty, belief, and conditionalisation. KR94 (1994), Springer 415-424
18. A.Baltag, L.Moss, S.Solecki. The logic of public announcements, common knowledge and private suspicions. CWI Technical Report SEN-R9922, 1999.
19. Agotnes T., van der Hoek W., and Wooldridge M. Completeness and complexity of multi-modal CTL. Electronnic Notes Theoretical Computer Science 231 (2009) 259-275
20. Baeten J.C.M., and Weijland W.P. Process Algebra (1990), Cambridge University Press
21. Levesque H., Pirri F., and Reiter R. Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence 2 3-4 (1998) 159-178