http://jcreed.org/papers/logical-recipes-1.pdf
Next in the sequence is linear logic (but also covering ordered, non-associative logics), modal logic (covering all the the Pfenning/Davies style "Weather Report" connectives), and hopefully eventually Liang/Miller style intuitionistic control logic and LUF.