scientific article; zbMATH DE number 1735828

MaRDI QIDQ4329182zbMATH OpenFDO

Authors Jan Broersen, R. Wieringa, John-Jules Meyer

Publication date 15 October 2002

zbMATH Keywords

deterministic finite automatadynamic deontic logicfree choice permissionmodal \(\mu\)-calculus of actionmodal action logicought-to-do normsregular action

Mathematics Subject Classification ID

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

Recommendations

• A deontic action logic with sequential composition of actions
• scientific article; zbMATH DE number 1444714
• A deontic action logic for complex actions
• A deontic logic of action
• Talking about actions

Cited in

(8)

• Ten problems of deontic logic and normative reasoning in computer science
• A deontic action logic with sequential composition of actions
• Challenges in the Specification of Full Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A dynamic deontic logic for complex contracts
• A Formal Language for Electronic Contracts
• Action negation and alternative reductions for dynamic deontic logics
• Norms and deontic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329182)