Dictionnaire breton des sciences et des techniques

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