A logic designed for higher-order quantification and modalities. It emerged from discussions…
Sign in to your account
Remember me
