Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic | IEEE Conference Publication | IEEE Xplore