Decidability via Mosaics for Bundled Ockhamist Logic.

Alberto Gatto

Browse the full TIME paper archive.