I investigate how to use mathematical tools, such as proof theory, to better understand and create interactive rule systems. I place an emphasis on games and computational creativity, but I am broadly interested in modeling computational and scientific sys