%0 Journal Article %A Kremer, Philip %D 2015 %I Springer Netherlands %J Studia Logica %N 1 %P 219-226 %T The Incompleteness of S4 \\textbraceleftbigoplus\\textbraceright S4 for the Product Space %V 103