Symbolic Logic, Inc., a research and development organization, focuses on developing proprietary algorithms that model and predict behaviour of dynamic systems. It is also developing a set of tools and technologies for applying symbolic content to physical objects to catalog to track real-world objects. The company was formerly known as Evolving Systems, Inc. and changed its name to Symbolic Logic, Inc. in April 2022. The company was founded in 1985 and is headquartered in Englewood, Colorado. Symbolic Logic, Inc. operates as a subsidiary of CCUR Holdings, Inc.