The Incompleteness of S4 ⨁ S4 for the Product Space

Philip Kremer. The Incompleteness of S4 ⨁ S4 for the Product Space. Studia Logica, 103(1):219-226, 2015. [doi]

Abstract

Abstract is missing.