Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems

This paper sketches a set-theoretic reconstruction of the theory of legal systems originally developed by Hans Kelsen in an informal way. The reconstruction is cast in a temporal operational framework. The way the reconstructed theory may motivate an operational semantical model for Kelsen's theory of legal systems is briefly discussed.