scientific article; zbMATH DE number 1735828

zbMath0995.03016MaRDI QIDQ4329182

Jan M. Broersen, John-Jules Ch. Meyer, R. J. Wieringa

Publication date: 15 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deterministic finite automatamodal action logicdynamic deontic logicregular actionfree choice permissionmodal \(\mu\)-calculus of actionought-to-do norms

Mathematics Subject Classification ID

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

Related Items (6)

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Action negation and alternative reductions for dynamic deontic logics ⋮ A dynamic deontic logic for complex contracts ⋮ A Formal Language for Electronic Contracts ⋮ Challenges in the Specification of Full Contracts ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

This page was built for publication: