and logical possibility. 'It is necessary that' is often expressed as a universal quantifier over possible worlds, so that the accounts above translate as:

: is true if and only if there is no possible world at which all of the elements of are true and is false (untrue).

Consider the modal account in terms of the argument given as an example above:

:All frogs are green.
:Kermit