A paraconsistent epistemic framework licenses K(k) and ¬K(k) as jointly assertable without trivializ...