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.

[1]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[2]  Valeria de Paiva,et al.  Intuitionistic Logic and Legal Ontologies , 2010, JURIX.

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  Graçaliz Pereira Dimuro,et al.  A Minimal Dynamical MAS Organization Model , 2009, Handbook of Research on Multi-Agent Systems.

[5]  L. Royakkers.  Extending Deontic Logic for the Formalisation of Legal Rules , 1998 .

[6]  Davide Grossi,et al.  Logic in the Law: A Concise Overview , 2011 .

[7]  Hans Kelsen,et al.  On The Pure Theory of Law , 1966, Israel Law Review.

[8]  Hans Kelsen,et al.  General Theory of Norms , 1991 .