A Temporal Logic of Normative Systems
From MaRDI portal
Publication:3600564
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)