Algunos de los sistemas que Lewis propuso para su implicación estricta son más débiles que el sistema modal K.