S4 is a modal logic system defined by reflexivity and transitivity axioms…
Sign in to your account
Remember me
