Common Logic

Home > Philosophy > Ontology > Ontology Languages > Common Logic

A framework for developing formal specifications and theories in various domains, including computer science, philosophy, and linguistics.