modal_logic

marcincuber

Final Year Masters Project: modal logic solver tableaux

modal

View on GitHub

25 Stars

2 Forks

25 Watchers

Python Language

100 SrcLog Score

Cost to Build

$60.0K

Market Value

$64.9K

How is this calculated?

Growth over time

8 data points · 2021-08-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about modal_logic

Question copied to clipboard

What is the marcincuber/modal_logic GitHub project? Description: "Final Year Masters Project: modal logic solver tableaux". Written in Python. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone modal_logic

Clone via HTTPS

git clone https://github.com/marcincuber/modal_logic.git

Clone via SSH

[email protected]:marcincuber/modal_logic.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the modal_logic issue tracker:

Open GitHub Issues

Similar to modal_logic

sweetalert ng-bootstrap fancybox bootstrap-modal react-modal PopupDialog zuck.js intense-images Presentr jquery-modal baguetteBox.js react-portal lightbox react-native-modal AlertifyJS Micromodal react-native-modal-datetime-picker react-native-loading-spinner-overlay tingle lity ngx-modialog react-overlays react-native-modal-dropdown MediumLightbox rmodal.js heyui simplelightbox rodal sweet-modal-vue expodal