Dans les exemples suivants, les formules logiques sont écrites en utilisant la syntaxe du programme Prolog. Les modalités sont représentées par les opérateurs infixes, le premier argument étant le nom de l'agent. L'opérateur unaire << - >> représente la négation. Les majuscules sont des variables.