Hybrid logic enhances modal logic by allowing direct reference to specific worlds…
Sign in to your account
Remember me
