This repository was archived by the owner on Nov 22, 2022. It is now read-only.

Relation hierarchy #2

Open

mauro-milella opened this issue Sep 22, 2022 · 0 comments

Member

mauro-milella commented Sep 22, 2022 •

edited

Loading

It would be useful to have a Relation hierarchy to support modal logic extensions (e.g HS)

The text was updated successfully, but these errors were encountered:

mauro-milella linked a pull request

that will close this issue

Open

mauro-milella removed a link to a pull request

Open

mauro-milella mentioned this issue

Open

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.