×

zbMATH — the first resource for mathematics

Anderson’s relevant deontic and eubouliatic systems. (English) Zbl 1180.03026
Summary: We present axiomatizations of the deontic fragment of Anderson’s relevant deontic logic (the logic of obligation and related concepts) and the eubouliatic fragment of Anderson’s eubouliatic logic (the logic of prudence, safety, risk, and related concepts).
MSC:
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite