Les expressions de la logique modale seront aussi codées par des termes Prolog. Les modalités sont représentées par des opérateurs binaires infixes1 (b, w, kif, ...). La liste complète est dans le fichier decls.pl et peut être complétée.