Henson, Martin C.Reeves, Steve2008-10-202008-10-201998-03Henson, M. C. & Reeves, S. (1998). Revising Z: semantics and logic. (Working paper 98/4). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1170-487Xhttps://hdl.handle.net/10289/1049We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we obtain a sound logic for Z, including the schema calculus. A consequence of our formalisation is a critique of a number of concepts used in Z. We demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.application/pdfencomputer sciencespecification language Zlogics and semantics of specification languagesWorking Paper