Por su parte, el llamado sistema estándar es una interpretación modal de dicho sistema fundador en términos de la semántica de mundos posibles [ver el artículo lógica modal].