Logics of propositional control

ABSTRACT

The 'Cooperation Logic of Propositional Control', CL-PC, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a certain state of affairs in a situation in which each of the agents controls a number of propositional variables.We present a number of generalizations of this model, to represent situations in which agents only partially control the value of a variable, or cases in which agents share the control of a variable. We discuss and axiomatize some of these logics of 'partial control.' In addition, we show how this family of logics are closely connected to a body of work in mathematical logic: Cylindric Modal Logic.

REFERENCES

• 1: Rajeev Alur , Thomas A. Henzinger , Orna Kupferman, Alternating-Time Temporal Logic, Revised Lectures from the International Symposium on Compositionality: The Significant Difference, p.23-60, September 08-12, 1997
• 2: Patrick Blackburn , Maarten de Rijke , Yde Venema, Modal logic, Cambridge University Press, New York, NY, 2001
• 3: D. Gabbay and V. B. Shehtman. Products of modal logics, part i. Logic Journal of the IGPL, 6(1):73--146, 1998.
• 4: P. Harrenstein. Logic in Conflict. Logical Explorations in Strategic Equilibrium. PhD thesis, Utrecht University, 2004.
• 5: R. Hirsch, I. Hodkinson, and A. Kurucz. On modal logics between KxKxK and S5xS5xS5. Journal of Symbolic Logic, 67:221--234, 2002.
• 6: C. List and P. Pettit. Aggregating sets of judgements: An impossibility result. Economics and Philosophy, 18:89--110, 2002.
• 7: R. Maddux. The equational theory of ca3 is undecidable. Journal of Symbolic Logic, 45(2):311--316, 1980.
• 8: S. Mikulas. Gabbay-style calculi. In H. Wansing, editor, Proof Theory of Modal Logic, volume 2 of Applied Logic Series, pages 243--252. Kluwer Academic Publishers, 1996.
• 9: M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001--10.
• 10: M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149--166, 2002.
• 11: M. Pauly and M. van Hees. Logical constraints on judgment aggregation. Journal of Philosophical Logic, 2003. forthcoming.
• 12: Wiebe van der Hoek , Michael Wooldridge, On the dynamics of delegation, cooperation, and control: a logical account, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands [doi>10.1145/1082473.1082580]
• 13: Wiebe van der Hoek , Michael Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, v.164 n.1-2, p.81-119, May 2005 [doi>10.1016/j.artint.2005.01.003]
• 14: Yde Venema, Cylindric modal logic, Journal of Symbolic Logic, v.60 n.2, p.591-623, June 1995 [doi>10.2307/2275853]
• 15: Y. Venema. Rectangular games. Journal of Symbolic Logic, 63(4):1549--1564, 1998.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Modal logic

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Model theory

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Coherence and coordination; Multiagent systems

General Terms:
Theory

Keywords:
agent and multi-agent architectures, cooperation and coordination among agents, logics for agent systems