Welcome to Modalogic - A Python Package for Modal Logic based Reasoning using Tableaux Methods¶
An Introduction to the ModaLogic project¶
An Introduction to Analystical Tableaux Methods¶
For more information on the theory behind Tableau methods see Introduction to Tableaux Methods
The Solution Architecture Documentation¶
For more information on how the components of the ModaLogic package work together see Introduction to the Solution Architecture
The Funcional/Technical Design Documents¶
For more information on the technical implementation and designs of the components see Introduction to Functional/Technical Designs
The Tutorial Documentation¶
For more information on the how to use the various components of the ModaLogic library see Introduction to Tutorials
The Package API Documentation¶
For a description on the ModaLog package API see API Documentation
License Information¶
- Free software: GNU General Public License v3
GitHub Repository and documentation Links¶
- Github repo link: https://github.com/rayniervanegmond/modalogic
- Documentation: https://rayniervanegmond.github.io/modalogic
Features¶
- FODAL Logic statement parser
- Analytical Tableaux based reasoning
Credits¶
This package was created with Cookiecutter and the rayniervanegmond/pypackage project template.
Last update: 2021-06-23