The phrase "a formal language with" is correct and usable in written English.
You can use it when describing a formal language that possesses certain characteristics or features.
Example: "The programming language we are using is a formal language with strict syntax rules that must be followed."
Alternatives: "a formal language that includes" or "a formal language characterized by".
He doesn't really have a formal language with which to express himself, which is surprising".
Section 2 develops a formal language, with a rigorous syntax and grammar.
Unlike Tarski, Bolzano makes his proposal for propositions in the vernacular, not for sentences of a formal language with a precisely defined semantics.
In general, a visual language is defined as a formal language with visual syntax and semantics (Myers 1990 ; Hils 1992 ; Erwig et al. 2017 ).
Second-order logic originated with Frege (1879), which developed a formal language equipped with predicate variables of the form $X^{n}_{i}$.
What is now a commonplace treatment of quantification began with Frege (1879), where the German philosopher and mathematician, Gottlob Frege, devised a formal language equipped with quantifier symbols, which bound different styles of variables.
This case study supports the development paradigm of combining a formal language definition with a regulated review process to achieve a pragmatic but feasible definition process of expressive, nevertheless standardised and interoperable information models.
Trisha's development of an ab- stract narrative and a formal language res- onated with a lot of people in the visual arts.She tells this wonderful story of growing up in the woods: As a kid she used to love to run through the forest really fast, which meant she had to avoid all the fallen trees and stones and broken branches -- it was very much an uneven field.
Our approach is based on EP, a formal executable modelling language, supplemented with OCL, and FTL, a formal language of templates.
So our question begins with the relationship between a natural language and a formal language.
