A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
-
Updated
Jul 8, 2024 - Python
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
Add a description, image, and links to the hyperintensionality topic page so that developers can more easily learn about it.
To associate your repository with the hyperintensionality topic, visit your repo's landing page and select "manage topics."