The Role of Deontic Logic in the Specification of Information Systems-Reference-Cited by-同舟云学术

The Role of Deontic Logic in the Specification of Information Systems

Published:1998 Issue: Volume: Page:71-115
ISSN:
Container-title:Logics for Databases and Information Systems
language:
Short-container-title:

Author:

Meyer J.-J. Ch.,Wieringa R. J.,Dignum F. P. M.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-5643-5_4.pdf

Reference91 articles.

1. L. Allen. Language, law and logic: Plain drafting for the electronic age. In B. Niblett, editor, Computer Science and Law, pp. 75–100. Cambridge University Press, 1980.

2. C. Alchourrón and D. Makinson. Hierarchies of Regulations and Their Logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pp. 125–148. Reidel, 1981.

3. A. Anderson. A reduction of deontic logic to alethic modal logic. Mind (n.s.), 67:100–103, 1958.

4. L. Åqvist. Deontic Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pp. 605–714. Reidel, 1984.

5. L. Allen and C. Saxon. A-Hohfeld: A language for robust structural representation of knowledge in the legal domain to build interpretation-assistance expert systems. In J.-J. Meyer and R. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pp. 205–224. Wiley, 1993.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Change impact analysis for requirements: A metamodeling approach;Information and Software Technology;2014-08

2. A complete axiomatization of a temporal logic with obligation and robustness;Journal of Logic and Computation;2014-06-27

3. Soft Cardinality Constraints on XML Data;Lecture Notes in Computer Science;2013

4. An Andersonian Deontic Logic with Contextualized Sanctions;Lecture Notes in Computer Science;2012

5. A Software Tool for Legal Drafting;Electronic Proceedings in Theoretical Computer Science;2011-09-12