Abstract
This paper introduces blobLogic: a web-delivered software package aimed at students
learning propositional, predicate, and modal logics. blobLogic allows semantic
tableaux to be freely constructed using a simple graphical user interface.
Fine-grained error checking generates feedback with respect to both syntactic and
derivational correctness. Proof demonstrations can be constructed using blobLogic’s
demonstration virtual machine. A tutorial mode provides detailed, interactive
exercises on specific topics. Exercises, proofs, demonstrations, and tutorials can
all be exchanged via the web. You can try blobLogic by visiting http://users.ox.ac.uk/~univ0675/blob/