A Temporal Logic of Normative Systems

DOI10.1007/978-1-4020-9084-4_5MaRDI QIDQ3600564zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, M. J. Wooldridge, 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

multi-agent systemsdeontic logictemporal logicnormative systems

Mathematics Subject Classification ID

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

Recommendations

• On temporal qualification of normative propositions
• Robust normative systems and a logic of norm compliance
• Multi-modal CTL: completeness, complexity, and an application
• A complete axiomatization of a temporal logic with obligation and robustness
• \textsc{NorMC}: a norm compliance temporal logic model checker

Cites work

• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• scientific article; zbMATH DE number 2222698 (Why is no real title available?)
• Actors, actions, and initiative in normative system specification
• Alternating-time temporal logic
• Contrary-to-duty obligations
• Deontic Logic in Computer Science
• Deontic interpreted systems
• Handbook of philosophical logic. Vol. 8
• On obligations and normative ability: Towards a logical analysis of the social contract
• On the emergence of social conventions: modeling, analysis, and simulations
• Provably Difficult Combinatorial Games
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• 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}}+$

Cited in

(18)

• Axioms for Obligation and Robustness with Temporal Logic
• Multi-modal CTL: completeness, complexity, and an application
• On obligations and normative ability: Towards a logical analysis of the social contract
• scientific article; zbMATH DE number 6345346 (Why is no real title available?)
• Boolean Game with Prioritized Norms
• Normative Consistency: An Xstit Account
• Model checking propositional deontic temporal logic via a \(\mu \)-calculus characterization
• A Logical Architecture of a Normative System
• scientific article; zbMATH DE number 2097569 (Why is no real title available?)
• A dynamic approach to temporal normative logic
• Axiomatizing norms across time and the `paradox of the court'
• Time and compensation mechanisms in checking legal compliance
• On temporal qualification of normative propositions
• Intentions and potential intentions revisited
• Interpretive normative systems
• Reactive computing as model generation
• An arrow-based dynamic logic of normative systems and its decidability
• \textsc{NorMC}: a norm compliance temporal logic model checker

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600564)