On obligations and normative ability: Towards a logical analysis of the social contract

Journal of Applied Logic

Volumn 3, Issue 3-4, 2005, Pages 396-420

  Wooldridge, Michael ^a   van der Hoek, Wiebe ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Agency; ATL; Normative ability; Obligation; Social contract

Indexed keywords

CONSTRAINT THEORY; CONTRACTS; GAME THEORY; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

AGENCY; ALTERNATING TIME TEMPORAL LOGIC; NORMATIVE ABILITY; OBLIGATION; SOCIAL CONTRACT;

FORMAL LOGIC;

EID: 23844527858     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.04.006     Document Type: Article

References (39)

1. R. Alur T.A. Henzinger O. Kupferman Alternating-time temporal logic J. ACM 49 5 2002 672-713
2. R. Alur T.A. Henzinger F.Y.C. Mang S. Qadeer S.K. Rajamani S. Taşiran Mocha: Modularity in model checking in: CAV 1998: Tenth International Conference on Computer-aided Verification in: Lecture Notes Comput Sci. vol. 1 1998 Springer-Verlag Berlin 521-525
3. R. Axelrod The Evolution of Cooperation 1984 Basic Books New York
4. N. Belnap M. Perloff Seeing to it that: A canonical form for agentives Theoria 54 1988 175-199
5. K. Binmore Fun and Games: A Text on Game Theory 1992 D.C. Heath and Company Lexington, MA
6. K. Binmore Game Theory and the Social Contract, vol. 1: Playing Fair 1994 MIT Press Cambridge, MA
7. K. Binmore Game Theory and the Social Contract, vol. 2: Just Playing 1998 MIT Press Cambridge, MA
8. B. Chellas Modal Logic: An Introduction 1980 Cambridge University Press Cambridge, England
9. R. Conte C. Castelfranchi Cognitive and Social Action 1995 UCL Press London 69-79, 1999
10. G. van Drimmelen Satisfiability in alternating-time temporal logic in: Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003), Ottawa, Canada 2003 208-217
11. E.A. Emerson Temporal and modal logic in: J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science, vol. B, Formal Models and Semantics 1990 Elsevier Science Amsterdam 996-1072
12. E.A. Emerson J.Y. Halpern 'Sometimes' and 'not never' revisited: On branching time versus linear time temporal logic J. ACM 33 1 1986 151-178
13. D. Fitoussi M. Tennenholtz Choosing social laws for multi-agent systems: Minimality and simplicity Artificial Intelligence 119 1-2 2000 61-101
14. D. Harel D. Kozen J. Tiuryn Dynamic Logic 2000 MIT Press Cambridge, MA
15. W. van der Hoek M. Wooldridge Model checking cooperation, knowledge, and time-a case study Research in Economics 57 3 2003 235-265
16. W. van der Hoek M. Wooldridge Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications Studia Logica 75 3 2003 125-157
17. W. van der Hoek M. Wooldridge Towards a logic of rational agency Logic J. IGPL 11 2 2003 135-159
18. J.F. Horty N. Belnap The deliberative STIT: A study of action, omission, ability, and obligation J. Philos. Logic 24 6 1995 583-644
19. W. Jamroga W. van der Hoek M. Wooldridge On obligations and abilities in: A. Lomuscio D. Nute (Eds.) Deontic Logic in Computer Science Lecture Notes in Artificial Intelligence vol. 3065 2004 Springer-Verlag Berlin 165-181
20. D. Lewis Convention-A Philosophical Study 1969 Harvard University Press Cambridge, MA
21. A. Lomuscio M. Sergot Deontic interpreted systems Studia Logica 75 1 2003 63-92
22. Z. Manna A. Pnueli Temporal Verification of Reactive Systems-Safety 1995 Springer-Verlag Berlin
23. J.-J.Ch. Meyer A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic Notre Dame J. Formal Logic 29 1 1988 109-136
24. J.-J.Ch. Meyer R.J. Wieringa Deontic logic: A concise overview in: J.-J. Ch. Meyer R.J. Wieringa (Eds.) Deontic Logic in Computer Science-Normative System Specification 1993 Wiley New York 3-16
25. J.-J.Ch. Meyer R.J. Wieringa (Eds.) Deontic Logic in Computer Science-Normative System Specification 1993 Wiley New York
26. Y. Moses M. Tennenholtz Artificial social systems Computers and AI 14 6 1995 533-562
27. M. Pauly A modal logic for coalitional power in games J. Logic Comput. 12 1 2002 149-166
28. H. Prakken M. Sergot Contrary-to-duty obligations Studia Logica 57 1 1996 91-115
29. K. Segerberg Getting started: Beginnings in the logic of action Studia Logica 51 3/4 1992 347-378
30. Y. Shoham M. Tennenholtz On the synthesis of useful social laws for artificial agent societies Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Diego, CA 1992
31. Y. Shoham M. Tennenholtz On social laws for artificial agent societies: Off-line design in: P.E. Agre S.J. Rosenschein (Eds.) Computational Theories of Interaction and Agency 1996 MIT Press Cambridge, MA 597-618
32. Y. Shoham M. Tennenholtz On the emergence of social conventions: Modelling, analysis, and simulations Artificial Intelligence 94 1-2 1997 139-166
33. B. Skyrms Evolution of the Social Contract 1996 Cambridge University Press Cambridge, England
34. W. van der Hoek M. Roberts M. Wooldridge Social laws in alternating time: Effectiveness feasibility, and synthesis Synthese 2005
35. A. Walker M. Wooldridge Understanding the emergence of conventions in multi-agent system, in: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA 1995 384-390
36. R.J. Wieringa J.-J.Ch. Meyer Deontic logic in computer science in: J.-J.Ch. Meyer R.J. Wieringa (Eds.) Deontic Logic in Computer Science-Normative System Specification 1993 Wiley New York 17-40
37. M. Wooldridge Reasoning about Rational Agents 2000 MIT Press Cambridge, MA
38. M. Wooldridge An Introduction to Multiagent Systems 2002 Wiley New York
39. M. Wooldridge N.R. Jennings Intelligent agents: Theory and practice Knowledge Engrg. 10 2 1995 115-152