McKinsey axiom

The MacKinsey axiom of classical modal logic, which is also known as axiom \textbf{M}, is given by the schema

	\Box \Diamond \phi \to \Diamond \Box \phi

This axiom is important because there is no first-order sentence that characterises the Kripke frames which satisfy it.

References

• See this StackExchange question.