Decidability via Mosaics for Bundled Ockhamist Logic | IEEE Conference Publication | IEEE Xplore