Communication Logic on Multi-Modal Logic S5n

  • Takashi Matsuhisa
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 179)


This article investigates a communication logic based on the multi-modal logic S5n, and it is treated from multi-modal logical point of view. We introduce models for the logic as knowledge revision processes on agents’ knowledge by communication through messages, and the completeness theorem is shown: the communication logic is determined by the class of all the models.


Nash Equilibrium Knowledge Structure Canonical Model Strategic Game Finite Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



The research was supported by Grant-in-Aid for Scientific Research (C) (No. 23540178) in the Japan Society for the Promotion of Sciences and it was also supported by the BUSAIKU-BUHI Foundation for Scientific Researches.


  1. 1.
    Aumann, R.J.: Agreeing to disagree. Ann. Stat. 4, 1236–1239 (1976)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Aumann, R.J., Brandenburger, A.: Epistemic conditions for mixed strategy Nash equilibrium. Econometrica 63, 1161–1180 (1995)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Chellas, B.F.: Modal logic: An introduction. Cambridge University Press, Cambridge (1980)zbMATHCrossRefGoogle Scholar
  4. 4.
    Krasucki, P.: Protocol forcing consensus. J. Econ. Theor. 70, 266–272 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Matsuhisa, T.: Communication leading to Nash equilibrium through robust messages: S5-knowledge model case. Combinatorial optimization and applications, Lecture Notes in Computer Science 4616. pp. 136–145. Springer, Berlin (2007)Google Scholar
  6. 6.
    Matsuhisa, T.: Fuzzy communication reaching consensus under acyclic condition. PRICAI 2008: Trends in Artificial Intelligence, Proceedings, Lecture Notes in Computer Science 5351. pp. 760–767. Springer, Berlin (2007)Google Scholar
  7. 7.
    Matsuhisa, T.: Moral hazard resolved by common-knowledge in principal-agent model. Int. J. Intell. Inform. Database Syst. 6(3) pp. 220–230 (2012)Google Scholar
  8. 8.
    Matsuhisa, T., Jiang, D.Y.: Moral hazard resolved in communication network. World J. Soc Sci. 1(3) pp. 100–115 (2011)Google Scholar
  9. 9.
    Matsuhisa, T., Strokan, P.: Bayesian communication leading to a Nash equilibrium. Int. J. Math. Game Theor. Algebra 18(4–5), 427–434 (2009)Google Scholar
  10. 10.
    Parikh, R., Krasucki, P.: Communication, consensus, and knowledge. J. Econ. Theor. 52, 178–189 (1990)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Department of Natural SciencesIbaraki National College of TechnologyHitachinaka-shiJapan

Personalised recommendations