Una estructura de Kripke "M" para "n" agentes sobre formula_27 es un tuple formula_28, donde S es un conjunto no vacío de "estados" o "mundos posibles", formula_29 es una "interpretación" que asocia cada estado en S a una asignación de verdad a las proposiciones primitivas en formula_27, y formula_31 son las relaciones binarias en S para "n" agentes.