Title: Future Horizons of Logic