Belnap logic, Jónsson-Tarski duality, many-valued modal logic, N4-lattices, paraconsistent Nelson logic, twist-structures.
