Des questions de programmation impliquant essentiellement une logique modale, la branche de la logique concernant les modalités telles que la possibilité, la croyance et les temps. Pour des questions sur les dialogues modales, utilisez [Dialogue modal] à la place.