In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and relational semantics based on Kripke structures with crisp accessibility relations, when the underlying product fuzzy logic is expanded with truth-constants, the $Δ$ operator and with two infinitary inference rules. We provide completeness results for both kinds of semantics. Finally, we also consider a generalization of possibilistic logic evaluated over product algebras.