 This is the logic Ł. Unlike standard modal logics, it has a finite characteristic matrix, as follows, where like Łukasiewicz we now replace ‘\(M\)’ by a new symbol ‘\(\Delta\)’, with 1 as the designated (true) value and 4 the antidesignated (false) value: