Fixed Points via Logically Contractive Maps