Tools for Teaching Logic

Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

  • Patrick Blackburn
  • Hans van Ditmarsch
  • María Manzano
  • Fernando Soler-Toscano
Conference proceedings TICTTL 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6680)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6680)

Table of contents

  1. Front Matter
  2. Begoña Carrascal
    Pages 38-45
  3. Ludmila Dostalova, Jaroslav Lang
    Pages 46-53
  4. Susanna S. Epp
    Pages 54-61
  5. João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, L. S. Barbosa et al.
    Pages 62-69
  6. Olivier Gasquet, François Schwarzentruber
    Pages 70-76
  7. Olivier Gasquet, François Schwarzentruber, Martin Strecker
    Pages 77-84
  8. Laurence Goldstein
    Pages 101-108
  9. Antonia Huertas, Josep M. Humet, Laura López, Enric Mor
    Pages 123-130
  10. Jan Jaspars, Fernando R. Velázquez-Quesada
    Pages 141-153
  11. Josje Lodder, Bastiaan Heeren
    Pages 154-161
  12. Xóchitl Martínez Nava
    Pages 162-169
  13. Ángel Nepomuceno-Fernández
    Pages 170-177
  14. Carlos A. Oller
    Pages 178-182
  15. Gladys Palau, Ana Couló
    Pages 183-189
  16. Chris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence
    Pages 207-214
  17. Aránzazu San Ginés
    Pages 215-222
  18. Patrick Terrematte, Fabrício Costa, João Marcos
    Pages 223-230
  19. Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero
    Pages 239-248
  20. Frank Zenker, Christian Gottschall, Albert Newen, Raphael van Riel, Gottfried Vosgerau
    Pages 249-255
  21. Back Matter

About these proceedings


This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011.
The 30 papers presented were carefully reviewed and selected from 62 submissions.  The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.


computer science logic formal logic graduate logics courses learning logics logics education mathematical logic philosophical logic predicate logics

Editors and affiliations

  • Patrick Blackburn
    • 1
  • Hans van Ditmarsch
    • 2
  • María Manzano
    • 3
  • Fernando Soler-Toscano
    • 4
  1. 1.INRIA Nancy Grand-EstNancy CedexFrance
  2. 2.Dpto. Filosofía y LógicaUniversidad de SevillaSevillaSpain
  3. 3.Dpto. de FilosofiaUniversidad de SalamancaSalamancaSpain
  4. 4.Dpto. de Filosofia y LógicaUniversidad de SevillaSevillaSpain

Bibliographic information