Title :
Toward a Formal Reconstruction of Kelsen´s Theory of Legal Systems
Author :
Da Rocha Costa, Antonio Carlos
Author_Institution :
Comput. Centro de Cienc. Computacionais, Univ. Fed. do Rio Grande - FURG, Rio Grande, Brazil
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.
Keywords :
law; set theory; Kelsen legal systems theory; formal reconstruction; operational semantical model; set-theoretic reconstruction; temporal operational framework; Authorization; Cognition; Context; Information systems; Law; Semantics; Agent societies; Kelsen´s theory of law; legal systems;
Conference_Titel :
Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
Conference_Location :
Rio Grande
DOI :
10.1109/WEIT.2013.23
