Analyzing completeness of axiomatic functional systems for temporal × modal logics