metalanguage
C2121
concept
A metalanguage is a language or formal system used to describe, analyze, or define another language (the object language), including its syntax, semantics, and rules.
All labels observed (10)
| Label | Occurrences |
|---|---|
| formal specification language | 11 |
| modeling language | 5 |
| metalanguage canonical | 4 |
| constraint language | 3 |
| extension language | 2 |
| metamodel | 2 |
| interface description language | 1 |
| meta language | 1 |
| meta-grammar formalism | 1 |
| metatheory | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: metalanguage
Generated description
A metalanguage is a language or formal system used to describe, analyze, or define another language (the object language), including its syntax, semantics, and rules.
Instances (30)
| Instance | Via concept surface |
|---|---|
| Temporal Logic of Actions | formal specification language |
|
Emacs Lisp (for GNU Emacs environment)
surface form:
Emacs Lisp
|
extension language |
| Backus–Naur Form | — |
| SHACL | constraint language |
| Schematron | constraint language |
| Web IDL Standard | interface description language |
| Unified Modeling Language | modeling language |
|
branching-time temporal logic CTL*
surface form:
CTL*
|
formal specification language |
| CTL* | formal specification language |
| BrainScript modeling language | modeling language |
| Van Wijngaarden grammars | meta-grammar formalism |
| Integral philosophy | metatheory |
| TLA | formal specification language |
| TLA+ | formal specification language |
| linear temporal logic | formal specification language |
| Augmented Backus–Naur Form | — |
| Meta Language | formal specification language |
| ShEx | constraint language |
| SysML | modeling language |
| Object Constraint Language | formal specification language |
| OCL | formal specification language |
| Decision Model and Notation | modeling language |
| Software & Systems Process Engineering Metamodel | metamodel |
| SPEM | metamodel |
| LCF | — |
| LOTOS | formal specification language |
| Isabelle/ML | extension language |
| LTL | formal specification language |
| SGML | — |
| EBML | meta language |