Skip to main content

2013 | OriginalPaper | Buchkapitel

Communication Logic on Multi-Modal Logic S5n

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
There exists a time \(m\) such that for all \(t\), \(\Pr (t) = \Pr (t+m)\). The period of the protocol is the minimal number of all \(m\) such that for every \(t\), \(\Pr (t+m) = \Pr (t)\).
 
Literatur
2.
Zurück zum Zitat Aumann, R.J., Brandenburger, A.: Epistemic conditions for mixed strategy Nash equilibrium. Econometrica 63, 1161–1180 (1995)MathSciNetMATHCrossRef Aumann, R.J., Brandenburger, A.: Epistemic conditions for mixed strategy Nash equilibrium. Econometrica 63, 1161–1180 (1995)MathSciNetMATHCrossRef
3.
Zurück zum Zitat Chellas, B.F.: Modal logic: An introduction. Cambridge University Press, Cambridge (1980)MATHCrossRef Chellas, B.F.: Modal logic: An introduction. Cambridge University Press, Cambridge (1980)MATHCrossRef
5.
Zurück zum Zitat 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) 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)
6.
Zurück zum Zitat 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) 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)
7.
Zurück zum Zitat Matsuhisa, T.: Moral hazard resolved by common-knowledge in principal-agent model. Int. J. Intell. Inform. Database Syst. 6(3) pp. 220–230 (2012) Matsuhisa, T.: Moral hazard resolved by common-knowledge in principal-agent model. Int. J. Intell. Inform. Database Syst. 6(3) pp. 220–230 (2012)
8.
Zurück zum Zitat Matsuhisa, T., Jiang, D.Y.: Moral hazard resolved in communication network. World J. Soc Sci. 1(3) pp. 100–115 (2011) Matsuhisa, T., Jiang, D.Y.: Moral hazard resolved in communication network. World J. Soc Sci. 1(3) pp. 100–115 (2011)
9.
Zurück zum Zitat Matsuhisa, T., Strokan, P.: Bayesian communication leading to a Nash equilibrium. Int. J. Math. Game Theor. Algebra 18(4–5), 427–434 (2009) Matsuhisa, T., Strokan, P.: Bayesian communication leading to a Nash equilibrium. Int. J. Math. Game Theor. Algebra 18(4–5), 427–434 (2009)
Metadaten
Titel
Communication Logic on Multi-Modal Logic S5n
verfasst von
Takashi Matsuhisa
Copyright-Jahr
2013
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-31603-6_17

Premium Partner