On Logics of Group Belief in Structured Coalitions

  • Philippe Balbiani
  • David Pearce
  • Levan UridiaEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10021)


In the study of group belief formation, groups of agents are often assumed to possess a topological structure. Here we investigate some ways in which this topological structure may provide the semantical basis for logics of group belief. We impose a partial order on a set of agents first to be able to express preferences of agents by their doxastic abilities, secondly to express the idea of a coalition (well formed group) and thirdly to give a natural semantics for the group belief operator. We define the group belief of a set of agents in two different ways and study their corresponding logics. We also study a logic where doxastic preference is expressed by a binary operator. We prove completeness and discuss correspondences between the logics.


  1. 1.
    Balbiani, P., Gasquet, O., Schwarzentruber, F.: Agents that look at one another. Logic J. IGPL 21(3), 438–467 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Dunin-Kęplicz, B., Szałas, A.: Epistemic profiles and belief structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS (LNAI), vol. 7327, pp. 360–369. Springer, Heidelberg (2012). doi: 10.1007/978-3-642-30947-2_40 CrossRefGoogle Scholar
  3. 3.
    Dunin-Keplicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems: A Formal Approach, 1st edn. Wiley, New York (2010)CrossRefzbMATHGoogle Scholar
  4. 4.
    Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  5. 5.
    Gaudou, B., Herzig, A., Longin, D., Lorini, E.: On modal logics of group belief. In: Herzig, A., Lorini, E. (eds.) The Cognitive Foundations of Group Attitudes and Social Interaction. SPS, vol. 5, pp. 75–106. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-21732-1_4 CrossRefGoogle Scholar
  6. 6.
    Gilbert, M.: Modelling collective belief. Synthese 73(1), 185–204 (1987)CrossRefGoogle Scholar
  7. 7.
    List, C., Pettit, P.: Group Agency: The Possibility, Design and Status of Corporate Agents. OUP, Cambridge (2011)CrossRefGoogle Scholar
  8. 8.
    Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The logic of acceptance: grounding institutions on agents’ attitudes. J. Logic Comput. 19(6), 901–940 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Quinton, A.: Social objects. In: Proceedings of the Aristotelian Society, pp. 1–27 (1976)Google Scholar
  10. 10.
    Tuomela, R.: Group beliefs. Synthese 91(3), 285–318 (1992)CrossRefGoogle Scholar
  11. 11.
    Uridia, L., Walther, D.: Completeness via modal definitions. In: Proceedings of TBILLS16. (submitted to)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Université de ToulouseToulouseFrance
  2. 2.Universidad Politécnica de MadridMadridSpain
  3. 3.Razmadze Institute of MathematicsTbilisiGeorgia

Personalised recommendations