Berto and Priest's paraconsistent modal frameworks allow worlds where both Kφ and ¬Kφ hold, meaning ...