Modeling and Using Context

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference o...

Logic, Rationality, and Interaction

Tools for Teaching Logic

This book constitutes the proceedings of the Third International Congress on Tools for Teaching L...