scientific article; zbMATH DE number 588315
From MaRDI portal
Publication:4295371
zbMath0845.68088MaRDI QIDQ4295371
No author found.
Publication date: 12 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computer scienceartificial intelligencedeontic logiclinguisticslawDeontic logiccomputer system specificationnormative systems specification
Other nonclassical logic (03B60) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in artificial intelligence (68T01)
Related Items
Violation games: a new foundation for deontic logic ★ ⋮ Norm-based mechanism design ⋮ 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 ⋮ Equivalence of defeasible normative systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modal Rules: Extending Defeasible Logic with Modal Operators ⋮ Law and logic: a review from an argumentation perspective ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Blame it on me ⋮ A Lewisian taxonomy for deontic logic ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Ernst Mally's Deontik (1926) ⋮ Temporal agent programs ⋮ An executable specification of a formal argumentation protocol ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F ⋮ On obligations and normative ability: Towards a logical analysis of the social contract
