Cuáles deben ser los axiomas de la lógica modal es algo muy debatido.