Deontic Logic in Computer Science: Normative System Specification

&
Wiley (1993)
  Copy   BIBTEX

Abstract

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

Categories

Keywords

Reprint years

ISBN(s)

0471937436
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review of deontic logic in computer science. [REVIEW]Ron Loui - manuscript
Deontic database constraints, violation and recovery.José Carmo & Andrew J. I. Jones - 1996 - Studia Logica 57 (1):139 - 165.
Deontic Logic, Agency and Normative Systems:?Eon ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996.Mark A. Brown - 1995 - Springer.
Introduction to: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Henry Prakken & Paul McNamara (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam/Oxford/Tokyo/Washington DC: IOS Press. pp. 1-14.
Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken (eds.) - 1999 - IOS Press.
Deontic Logic.Risto Hilpinen - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 159–182.
Deontic Logic with Defeasible Detachment.Xiaochang Yu - 1995 - Dissertation, University of Georgia
An Introduction to Deontic Logic.Daniel Rönnedal - 2010
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1.Janusz Ciuciura - 2017 - Bulletin of the Section of Logic 46 (3/4):283-291.
Deontological Square, Hexagon, and Decagon: A Deontic Framework for Supererogation.Jan C. Joerden - 2012 - Logica Universalis 6 (1):201-216.

Analytics

Added to PP
2015-02-13

Downloads
22 (#733,109)

6 months
8 (#415,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Violation games: a new foundation for deontic logic ★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.

Add more citations

References found in this work

No references found.

Add more references