A package for checking the validity of many-valued modal formulas


Keywords
logic, modal, tableau
License
MIT
Install
pip install mvmt==0.0.9