Obligation as Optimal Goal Satisfaction.

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obl...

Full description

Bibliographic Details

Published in:	Journal of Philosophical Logic Vol. 47; no. 4; pp. 579 - 610
Main Authors:	Kowalski, Robert, Satoh, Ken
Format:	Article
Published:	Springer Nature Aug2018
Subjects:	Deontic logic Semantics Formalization (Philosophy) Satisfaction Logic programming
Online Access:	View this record in EBSCOhost