‘The Standard Logic for Z’: A Clarification
Steve King · Formal Aspects of Computing · 1999
Abstract. Some clarification is made of a recent article in Formal Aspects of Computing [Hen98]. Specifically, it is noted that the inconsistency found is in a draft logic, which is clearly unfinished. The latest news of the position of the Z Standards Panel on a logic for Z is given.