Henning Herrestad
- And58.Alan Ross Anderson. A reduction of deontic logic to alethic modal logic. Mind, 67(1):100- 103, 1958.Google Scholar
Cross Ref
- AS86.Layman Allen and Charles Saxon. Analysis of the logical structure of legal rules by a modernized and formalized version of hohfeld fundamental legal conceptions. In A.A. Martino and F. Socci Natali, editors, Automated Analysis of Legal Texts, pages 385-450. Elsevier Science Publishers B.V., New York, 1986.Google Scholar
- AS93a.Layman Allen and Charles Saxon. A-hohfeld: A language for robust structural representation of knowledge in the legal domain to build interpretation assistance expert systems. In J.J.Ch. Meyer and R.J. Wieringa, editors, Deonlic Logic in Computer Science, Normalive System Specification, pages 205-224. John .Wiley and Sons, Chichester, 1993. Google Scholar
- AS93b.Layman Allen and Charles Saxon. Controlling inadvertent ambiguity in the logical structure of legal drafting by means of the prescribed definitions of the a-hohfeld structural language. In Proceedings of the conference- Towards a Global Legal Expert System in Law, IDG, Florence, 1993.Google Scholar
- Che80.Brian F. Chellas. Modal Logic - an Introduction. Cambridge University Press, Cambridge, 1980.Google Scholar
- Cn70.Hector Neri Castafieda. On the semantics of the ought-to-do. $ynthese, 21:449-468, 1970.Google Scholar
- Han70.Bengt Hansson. Deontic logic and different levels of generality. Theoria, 36:241-248, 1970.Google ScholarCross Ref
- Har82.Herbert L.A. Hart. Legal rights. In Herbert L.A. Hart, editor, Essays on Bentham, pages 162-193. Clarendon Press, Oxford, 1982.Google Scholar
- HG93.Henning Herrestad and Groendijk. An incremental approach to legal drafting support. In JURIX proceedings, Lelystad, The Netherlands, 1993. Koninklijke Vermande BV.Google Scholar
- Hil74.Risto Hilpinen. On the semantics of personal directives. In Carl H. Heidrich, editor, Semantics and Communication, pages 162-179. North-Holland Publishing Company, Amsterdam, 1974.Google Scholar
- Hin69.Jaakko Hintikka. Deontic logic and its philosophical morals. In Jaakko Hintikka, editor, Models for Modalities, Selected Essays, pages 184-214. D. Reidel Publishing Company, Dordrecht, Holland, 1969.Google ScholarCross Ref
- Hin71.Jaakko Hintikka. Some main problems of deontic logic. In Risto Hilpinen, editor, Deontic Logic, pages 59-104. D.Reidel Publishing Company, Dordrecht- Holland, 1971.Google Scholar
- HK93.Henning Herrestad and Christen Krogh. The right direction. In Martino et al., editor, Towards a Global Expert System of Law, Firenze,, 1.-3. December 1993.Google Scholar
- HK95.Henning Herrestad and Christen Krogh. Deontic logic relativised to bearers and counterparties. In Jon Bing and Olav Torvund, editors, 25 years Anniversary Anthology NRCCL, pages 453-522. TANO publishers, CompLex series, Oslo, 1995.Google Scholar
- Hoh66.Wesley Newcomb Hohfeld. Fundamental Legal Conceptions as Applied in judicial Reasoning and other Legal Essays. Yale Univ. Press, New Haven- Conneticut, 1966. (Reprinting of the article printed in Yale Law Journal in 1913.).Google Scholar
- JS93.A.J.I. Jones and M. Sergot. On the charachterization of law and computer systems: The normative systems perspective. In J.-J. Ch. Meyer and R.J. Wieringa, editors, Deontic Logic in Computer Science, pages 275-307. john Wiley and Sons, Chichester, 1993. Google ScholarDigital Library
- JS94.Andrew J.I. Jones and Marek Sergot. A formal characterisation of institutional power. Prepublished as part of proceedings from MED- LAR II workshop in Rome, 08.1994, 1994.Google Scholar
- Kan71.Stig Kanger. New foundations for ethical theory. In Risto Hilpinen, editor, Deontic Logic, pages 36-58. D.Reidel Publishing Company, Dordrecht- Holland, 1971. (Published as a privately distributed pamhlet in 1957).Google Scholar
- Kan72.Stig Kanger. Law and logic. Theoria, 38(105- 132), 1972.Google Scholar
- Kan85.Stig Kanger. On realization of human rights. In G. Holmstrom and A.J.I. Jones, editors, Action, Logic, and Social Theory, pages 71- 78. Acta Philosophica Fennica vol 38, Helsinki, 1985.Google Scholar
- KK66.Stig Kanger and Helle Kanger. Rights and parliamentarism. Theoria, 6(2):85-115, 1966.Google ScholarCross Ref
- Kor75.Carl R. Kordig. Relativized deontic modalities. In Alan Ross Anderson, Ruth Barcan Marcus, and R.M Martin, editors, The Logical Enterprise, pages 221-257. Yale University Press, New Haven, 1975.Google Scholar
- Kro95.Christen Krogh. Obligations in multiagent systems. In Jan Komorowski and Agnar Aamodt, editors, Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence (SCAI'95), Trondheim, May 29- 31 1995.Google Scholar
- Lin77.Lars Lindahl. Position and Change. D.Reidel Publishing Company, Dordrecht - Holland, 1977~Google Scholar
- Lin94.Lars Lindahl. Stig kanger's theory of rights. In D. Prawitz, B. Skyrms, and D. Westerst~hl, editors, Logic, Methodology and Philosophy of Science IX, pages 889-911. Elsevier Science Publishers B.V., New York, 1994.Google Scholar
- Lyo69.David Lyons. Rights, claimants, and beneficiaries. American Philosophical Quarterly, 6(3):173-185, 1969.Google Scholar
- Mak86.David Makinson. On the formal representation of rights relations. Journal of Philosophical Logic, 15:403-425, 1986.Google ScholarCross Ref
- vW51.Georg Henrik von Wright. Deontic logic. Mind, 60:1-15, 1951.Google ScholarCross Ref
- Wal84.Jeremy Waldron. Theories of Rights. Oxford University Press, Oxford, 1984.Google Scholar
- Wel90.Carl Wellman. Relative duties in the law. Philosophical Topics, 18(1):183-202, 1990.Google ScholarCross Ref
Index Terms
- Obligations directed from bearers to counterparts
Recommendations
Obligations in PTaCL
STM 2015: Proceedings of the 11th International Workshop on Security and Trust Management - Volume 9331Obligations play an increasingly important role in authorization systems and are supported by languages such as XACML. However, our understanding of how to handle obligations in languages such as XACML, particularly in exceptional circumstances, is ...
Directed Path-Width and Directed Tree-Width of Directed Co-graphs
Computing and CombinatoricsAbstractIn this paper we consider the directed path-width and directed tree-width of directed co-graphs. As an important combinatorial tool, we show how the directed path-width and the directed tree-width can be computed for the disjoint union, series ...
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs
SOFSEM 2019: Theory and Practice of Computer ScienceAbstractThere have been many attempts to find directed graph classes with bounded directed path-width and bounded directed tree-width. Right now, the only known directed tree-width-/path-width-bounded graphs are cycle-free graphs with directed path-width ...
Comments