Sain, I. There are general rules for specifying semantics: Observations of abstract model theory. (English) Zbl 0449.68007 Comput. Linguist. Comput. Lang. 13, 195-250 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents MSC: 68Q65 Abstract data types; algebraic specification 03B60 Other nonclassical logic 03C55 Set-theoretic model theory 03C95 Abstract model theory 03B10 Classical first-order logic 03B15 Higher-order logic; type theory (MSC2010) 68N01 General topics in the theory of software 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:concept formation; language with semantics; specification of semantics; languages for reasoning about programs and program schemes; dynamic logic; logic of actions; incompleteness PDFBibTeX XMLCite \textit{I. Sain}, Comput. Linguist. Comput. Lang. 13, 195--250 (1979; Zbl 0449.68007)