modal_logic

modal_logic

marcincuber

Final Year Masters Project: modal logic solver tableaux

modal
View on GitHub
25 Stars
2 Forks
1 Watchers
Python Language
69.2 SrcLog Score
Cost to Build
$61.2K
Market Value
$59.9K
How is this calculated?

Growth over time

13 data points  ·  2021-08-01 → 2026-11-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.

🏆 Show off this rank

marcincuber/modal_logic on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

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