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.
rhazn / logic-ts Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License