Logic TS
logic-ts is a library to work with logic in Typescript, especially focused on belief change. It provides representations for propositional signatures, interpretations (possible worlds) and preference relations over worlds. In addition it allows serialization and parsing of those entities.