• DocumentCode
    1654090
  • 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
  • fYear
    2013
  • Firstpage
    165
  • Lastpage
    171
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
  • Conference_Location
    Rio Grande
  • Type

    conf

  • DOI
    10.1109/WEIT.2013.23
  • Filename
    6778584
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1654090