You might be interested in the "operational logics and playable models" section on this page: https://eis.ucsc.edu/analyses-and-approaches/ https://eis.ucsc.ed

You might be interested in the "operational logics and playable models" section on this page: https://eis.ucsc.edu/analyses-and-approaches/ https://eis.ucsc.edu/analyses-and-approaches/