The homotopy product of an infinite family of simplicial sets can be computed by deriving the product functor sSetW→sSet, for example, by performing the componentwise fibrant replacement using Kan's Ex∞ functor and then taking the ordinary product.
If the simplicial sets are already Kan, then their product is also their homotopy product. There are families of simplicial sets for which this is false, an example is given in the comments to the question Commutation of simplicial homotopy colimits and homotopy products in spaces.
Is it possible to relax the Kan condition so that the ordinary product still computes the homotopy product? Are there any references for such questions?
For example, one potential relaxation that I have in mind is to require that every horn H→X has a filling up to a homotopy, meaning that there is a simplicial homotopy Δ¹×H→X that does not move any of the vertices of H and whose bottom face is the given map H→X and the top face has a filling in the usual sense.