Además, en la lógica modal clásica, ambos símbolos son interdefinibles por medio del otro y de la negación; así: