A Temporal Logic of Normative Systems

DOI10.1007/978-1-4020-9084-4_5zbMath1156.03017OpenAlexW2262486971MaRDI QIDQ3600564

Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes

Publication date: 5 February 2009

Published in: Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9084-4_5

zbMATH Keywords

deontic logictemporal logicmulti-agent systemsnormative systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

Reactive computing as model generation ⋮ Boolean Game with Prioritized Norms ⋮ Intentions and potential intentions revisited ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Normative Consistency: An Xstit Account

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Vol. 8
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• Actors, actions, and initiative in normative system specification
• On the emergence of social conventions: modeling, analysis, and simulations
• Deontic interpreted systems
• Contrary-to-duty obligations
• On obligations and normative ability: Towards a logical analysis of the social contract
• Alternating-time temporal logic
• Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Provably Difficult Combinatorial Games
• Deontic Logic in Computer Science

This page was built for publication: A Temporal Logic of Normative Systems