Diferentes combinaciones de axiomas dan lugar a diferentes sistemas de lógica modal.