Comment by knightoffaith

right, there is something modal going on here, but in terms of the formal mathematical tool of modal logic, Spinoza isn't using them, though I think you understood that from the start.