Skip to content
Mathesis
🚧 Possible-world (Kripke) Semantics
Initializing search
ozekik/mathesis
Mathesis
ozekik/mathesis
Welcome to Mathesis
Get Started
Get Started
Installation
Use with JupyterLab/Jupyer Notebook
Usage
Usage
Formulas and Grammars
Truth Tables
Set-theoretic Models
🚧 Possible-world (Kripke) Semantics
Proof in Tableau
Proof in Natural Deduction
Proof in Sequent Calculus
Automated Reasoning
Contributing
Alternatives
Possible world (Kripke) semantics
¶
WIP