Semantics and Tableaus for LPS4