 The wealth and variety of semantical tools has triggered a sort of experimenting with a number of mixed proposals. Refinements of revision theory and generalizations thereof can be found in Rivello 2019a e 2019b where a new approach to a formal theory of truth is developed, which implements features of Kripke’s fixed point theory with the Herzberger-Gupta revision theory. An analogous combination, studied from a more proof-theoretic angle, was considered in Standefer 2017. Similarly, combinations of the possible worlds semantics for the necessity predicate with Kripke’s supervaluational partial models for the truth predicate are also studied by Nicolai 2018.