Modale logica: verschil tussen versies

Deontische logica gebruikt het symbool <math> O</math>, dat staat voor 'het is verplicht (obligatory) dat'. Vanuit dit symbool worden de volgende bepaald: <math> P</math> (het is toegestaan/permissible) en <math> F</math> (het is verboden/forbidden): <math>P p= \neg O \neg p</math> (p is toegestaan betekent dat het niet verplicht is om p niet te doen) en <math> F p = O \neg p</math> (p is verboden betekent dat het is verplicht om p niet te doen).

De deontische variant van het modale axioma: <math> O p \rightarrow p </math> is niet van toepassing voor deontische logica. Mensen hebben een [[vrije wil]] en zullen dus niet altijd doen wat verplicht is. Om dit te ondervangen is er een zwakker axioma in de deontische logica: <math> O p \rightarrow P p</math> (handelingen die verplicht zijn, zijn toegestaan).