scientific article; zbMATH DE number 1749148

MaRDI QIDQ4532134zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 25 February 2003

zbMATH Keywords

branching timeconditional obligationsdeontic logicnorms

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Conditional obligation, deontic paradoxes, and the logic of agency
• Obligations with deadlines: a formalization in dynamic deontic logic
• scientific article; zbMATH DE number 1735834
• scientific article; zbMATH DE number 1735875
• scientific article; zbMATH DE number 1318509

Cited in

(12)

• From permissions to obligations and beyond: an editorial
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Temporalized deontic worlds with individuals
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Roles, Counts-as and Deontic and Action Logics
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
• scientific article; zbMATH DE number 1735875 (Why is no real title available?)
• scientific article; zbMATH DE number 823614 (Why is no real title available?)
• Deontic epistemic stit logic distinguishing modes of mens rea
• Deontic Logic in Computer Science
• Making a start with the stit logic analysis of intentional action

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 Q4532134)