modalogic (pypi): A research package modal-logic based reasoning using the Analytical Tableaux method.
Keywords: modalogic