Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators | Publicación