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.
logic-ts may be cited using
