This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Vikram Saraph
vikramsaraph.com
did:plc:25twcc54z5fpxg2kpxahdjrc
as I learn more about the logics used in formal verification, I’m reminded of the deeply weird relationship (formalizable with category theory) between combinatorial topology and epistemic logic:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
https://arxiv.org/pdf/1809.03095
2025-11-20T03:30:55.130Z