En esta aplicación en particular los eventos son conjuntos de mundos posibles, y el conocimiento es un operador sobre los eventos.