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

DOI10.1016/j.jal.2005.04.006zbMath1081.03021OpenAlexW2054414141MaRDI QIDQ2568339

Michael Wooldridge, Wiebe van der Hoek

Publication date: 10 October 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.04.006

zbMATH Keywords

multi-agent systemsobligationagencyATLnormative systemsnormative abilitysocial contract

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (8)

Trusted autonomic service cooperation model and application development framework ⋮ Taking account of the actions of others in value-based reasoning ⋮ Introducing Grades in Deontic Logics ⋮ Addressing moral problems through practical reasoning ⋮ A Temporal Logic of Normative Systems ⋮ Practical reasoning using values: an argumentative approach based on a hierarchy of values ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Data-Driven Revision of Conditional Norms in Multi-Agent Systems

Uses Software

• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Getting started: Beginnings in the logic of action
• On the emergence of social conventions: modeling, analysis, and simulations
• Deontic interpreted systems
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Choosing social laws for multi-agent systems: Minimality and simplicity
• The deliberative stit: A study of action, omission, ability, and obligation
• Contrary-to-duty obligations
• Alternating-time temporal logic
• “Sometimes” and “not never” revisited
• A Modal Logic for Coalitional Power in Games
• Towards a Logic of Rational Agency
• Deontic Logic in Computer Science

This page was built for publication: On obligations and normative ability: Towards a logical analysis of the social contract