On Logic-Based Explainability with Partially Specified Inputs