cblop/schrodinger
Building Kripke structures with modal logic
Blog source
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Building Kripke structures with modal logic
Paper for ICIDS 2015 conference
Experimental Narratives talk for the BBC
Presentation for AISB 2015 paper