Talk:S4 (normal modal logic)