A novel multiple change detection approach based on tri-temporal logic-verified change vector analysis in posterior probability space | Synapse