# ISO/IEC 24707:2007 — Withdrawn and superseded ISO standards

For ISO/IEC 24707:2007, item title is Information technology — Common Logic (CL): a framework for a family of logic-based languages; status code is 9599; successor is ISO/IEC 24707:2018; withdrawn / published date is 2007-09-25, recorded from its source on 2026-08-05.

- **Identifier:** ISO/IEC 24707:2007 _(verified: appears in the quote below)_
- **Item title:** Information technology — Common Logic (CL): a framework for a family of logic-based languages _(verified: appears in the quote below)_
- **Status code:** 9599 _(verified: appears in the quote below)_
- **Successor:** ISO/IEC 24707:2018
- **Withdrawn / published date:** 2007-09-25 _(verified: appears in the quote below)_

## What the source says

> 39175,IS,,ISO/IEC 24707:2007,Information technology — Common Logic (CL): a framework for a family of logic-based languages,Technologies de l'information — Logique commune (CL): un cadre pour une famille de langages basés sur la logique,2007-09-25,1,['35.060'],ISO/IEC JTC 1/SC 32,9599,,[66249],['en'],73,"<p>ISO/IEC 24707:2007 defines Common Logic: a first-order logic framework intended for information exchange and transmission. The heart of the framework is a complete abstract syntax and abstract semantics for Common Logic, which provides the basis for many different concrete syntactic forms, called dialects, which conform to the syntax and semantics. Common Logic has some novel features, ch

## Source

- https://isopublicstorageprod.blob.core.windows.net/opendata/_latest/iso_deliverables_metadata/csv/iso_deliverables_metadata.csv

Last verified: 2026-08-05. Review by: 2027-02-01.
Part of [Withdrawn and superseded ISO standards](https://referencesource.org/iso-standard-supersessions/).