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
(19)- 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
- scientific article; zbMATH DE number 2097569 (Why is no real title available?)
- Model checking propositional deontic temporal logic via a -calculus characterization
- \textsc{NorMC}: a norm compliance temporal logic model checker
- Normative Consistency: An Xstit Account
- Interpretive normative systems
- Time and compensation mechanisms in checking legal compliance
- 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?)
- Axiomatizing norms across time and the `paradox of the court'
- Multi-modal CTL: completeness, complexity, and an application
- A dynamic approach to temporal normative logic
- d-\( \mathcal{B} \): a language for well-founded deontic planning
- 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)
