×

There are general rules for specifying semantics: Observations of abstract model theory. (English) Zbl 0449.68007


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.)
PDFBibTeX XMLCite