Definition:Deontic Logic/Obligation
< Definition:Deontic Logic(Redirected from Definition:Obligation)
Jump to navigation
Jump to search
Definition
Obligation is one of the modes of deontic logic.
It can be used to model acts that must be performed.
That is, such acts are obligatory, or mandatory.
An act $a$ is denoted as being obligatory by:
- $O a$
Also see
- Results about deontic logic can be found here.
Sources
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): deontic logic