scientific article; zbMATH DE number 3847362

MaRDI QIDQ3317084zbMATH OpenFDO

Authors J. F. Lindemans

Publication date 1983

zbMATH Keywords

deontic logicfirst-order formulaegeneric permissionobligationprohibition

Mathematics Subject Classification ID

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

Recommendations

• Towards a first-order deontic action logic
• On the reduction of modalities in deontic calculi
• Mally's deontic logic: reducibility and semantics
• A Complete and Compact Propositional Deontic Logic
• A purely combinatorial approach to deontic logic
• A reduction of doxastic logic to action logic
• scientific article; zbMATH DE number 3948228
• An intuitionistic reformulation of Mally's deontic logic
• Deontic action logics via algebra
• Reasoning about actions and obligations in first-order logic

Cited in

(2)

• A reduction of doxastic logic to action logic
• Quantified deontic logic with definite descriptions

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