Publication:4295371
From MaRDI portal
zbMath0845.68088MaRDI QIDQ4295371
No author found.
Publication date: 12 June 1994
Computer science; artificial intelligence; deontic logic; linguistics; law; Deontic logic; computer system specification; normative systems specification
03B60: Other nonclassical logic
68T99: Artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68T01: General topics in artificial intelligence
Related Items
Ernst Mally's Deontik (1926), Temporal agent programs, Normative positions within an algebraic approach to normative systems, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Action negation and alternative reductions for dynamic deontic logics, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, An executable specification of a formal argumentation protocol, Multi-modal CTL: completeness, complexity, and an application, On obligations and normative ability: Towards a logical analysis of the social contract, Violation games: a new foundation for deontic logic ★