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

Abstract

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. 
DOI: 10.1109/WEIT.2013.23

Topics

Cite this paper

@article{Costa2013TowardAF, title={Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems}, author={Ant{\^o}nio Carlos da Rocha Costa}, journal={2013 2nd Workshop-School on Theoretical Computer Science}, year={2013}, pages={165-171} }