The Deontic Component of Action Language $n{\mathcal{C}}+$
From MaRDI portal
Publication:3529365
DOI10.1007/11786849_19zbMath1148.68489MaRDI QIDQ3529365
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
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Related Items
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance, Encapsulating deontic and branching time specifications, Deontic action logic, atomic Boolean algebras and fault-tolerance, Agent strands in the action language \(n\mathcal C +\), An executable specification of a formal argumentation protocol, Multi-modal CTL: completeness, complexity, and an application, Connecting actions and states in deontic logic, A Temporal Logic of Normative Systems, Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Uses Software