Theory and Practice of Logic-Based Therapy