Dictionnaire breton des sciences et des techniques

informatique , mathématiques , logique ◊ logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation