Definition:Deontic Logic/Permissibility
< Definition:Deontic Logic(Redirected from Definition:Permissibility)
Jump to navigation
Jump to search
Definition
Permissibility is one of the modes of deontic logic.
It can be used to model acts that may be performed.
That is, such acts are permitted, or allowed.
An act $a$ is denoted as being permitted by:
- $P 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