 The last ingredient that we need, in order to link relational structures and modal logics, is the specification of a set of atomic propositions Atoms, which expresses the relevant properties of the outcomes we are interested in. This set is usually taken to be  countable[1]  and is associated to outcomes by means of a valuation function, i.e., a function of the form 