Henson, Martin C.Reeves, Steve2008-03-192007-07-112008-03-191999-12-01Henson, M.C. & Reeves, S. (1999). Revising Z: part I - logic and semantics. Formal Aspects of Computing, 11(4), 359-380.https://hdl.handle.net/10289/46This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. 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 a basic schema calculus.application/pdfenThe final definitive version of this article is available at Formal Aspects of Computing webpages through Springerlinkspecification language Zlogics of specification languagessemantics of specification languagesJournal Article10.1007/s001650050038