 Most hybrid logics involve further additional machinery than nominals. There is a number of options for such additions; here we shall consider what are called satisfaction operators. The motivation for adding satisfaction operators is to be able to formalize a statement being true at a particular time, possible world, or something else. For example, we want to be able to formalize that the statement “it is raining” is true at the time five o’clock 15 November 2021, that is, that