Patrick Blackburn Hans P. van Ditmarsch María Manzano Fernando Soler-Toscano Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings 6680 2011 http://dx.doi.org/10.1007/978-3-642-21350-2 978-3-642-21349-6 TICTTL Lecture Notes in Computer Science Springer db/conf/ticttl/ticttl2011.html