The Deontic Component of Action Language $n{\mathcal{C}}+$

DOI10.1007/11786849_19zbMath1148.68489OpenAlexW155051320MaRDI QIDQ3529365

Robert Craven, Marek Sergot

Publication date: 9 October 2008

Published in: Deontic Logic and Artificial Normative Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11786849_19

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (9)

Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ Connecting actions and states in deontic logic ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ Encapsulating deontic and branching time specifications ⋮ A Temporal Logic of Normative Systems ⋮ Reasoning about System-Degradation and Fault-Recovery with Deontic Logic ⋮ An executable specification of a formal argumentation protocol ⋮ Multi-modal CTL: completeness, complexity, and an application

Uses Software

• CCalc

This page was built for publication: The Deontic Component of Action Language $n{\mathcal{C}}+$