Deontic logic
Table of contents
Deontic logic is the logical study of normative concepts in language. Its subject matter is a variety of normative concepts, notably those of obligation, prohibition, permission and commitment. The first one among these concepts is often expressed by such words as ‘shall’, ‘ought’, and ‘must’, the second by ‘shall not’, ‘ought not’ and ‘must not’, and the third one by ‘may’. The fourth notion amounts to an idea of conditional obligation, expressible by ‘if …, then it shall (must) be the case that -’.
References
Åqvist, L.
Anderson, A. R.
Van Eck, J. E.
Hintikka, J.
Kripke, S. A.
Montague, R.
Schotch, P. K. & R. E. Jennings