Además, la semántica modal permite interpretar una gran variedad de lógicas no-clásicas como el intuicionismo y ha impulsado muchas aplicaciones en lingüística computacional y lógica informática.