A Temporal Logic of Normative Systems
DOI10.1007/978-1-4020-9084-4_5zbMATH Open1156.03017OpenAlexW2262486971MaRDI QIDQ3600564FDOQ3600564
Juan A. Rodriguez-Aguilar, Carles Sierra, M. J. 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
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
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Provably Difficult Combinatorial Games
- Title not available (Why is that?)
- Deontic interpreted systems
- Contrary-to-duty obligations
- Social laws in alternating time: effectiveness, feasibility, and synthesis
- Handbook of philosophical logic. Vol. 8
- Deontic Logic in Computer Science
- Title not available (Why is that?)
- On obligations and normative ability: Towards a logical analysis of the social contract
- The Deontic Component of Action Language $n{\mathcal{C}}+$
- Title not available (Why is that?)
- On the emergence of social conventions: modeling, analysis, and simulations
- Actors, actions, and initiative in normative system specification
- Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
Cited In (12)
- Boolean Game with Prioritized Norms
- Reactive computing as model generation
- An arrow-based dynamic logic of normative systems and its decidability
- On temporal qualification of normative propositions
- A Logical Architecture of a Normative System
- Intentions and potential intentions revisited
- Title not available (Why is that?)
- Normative Consistency: An Xstit Account
- Title not available (Why is that?)
- On obligations and normative ability: Towards a logical analysis of the social contract
- Multi-modal CTL: completeness, complexity, and an application
- Axioms for Obligation and Robustness with Temporal Logic
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)
