Applications of Deontic Logic in Computer Science: A Concise Overview

J.-J.Ch. Meyer

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    683 Downloads (Pure)


    Deontic logic is the logic that deals with actual as well as ideal behavior of systems. In this paper, we survey a number of applications of deontic logic in computer science that have arisen in the eighties, and give a systematic framework in which these applications can be classified. Many applications move in the direction of programming a computer in deontic logic to make the computer prohibit, permit or obligate people to do something. We discuss conditions under which this possibility is realistic and conditions under which it would be admissible to do so.
    Original languageUndefined
    Title of host publicationDeontic Logic in Computer Science: Normative System Specification
    EditorsJohn-Jules Ch. Meyer, Roelf J. Wieringa
    Place of PublicationChichester, UK
    Number of pages24
    ISBN (Print)0471937436
    Publication statusPublished - 1993
    EventInternational Workshop on Deontic Logic in Computer Science, DEON 1991 - Amsterdam, Netherlands
    Duration: 11 Dec 199113 Dec 1991

    Publication series

    PublisherJohn Wiley & Sons


    WorkshopInternational Workshop on Deontic Logic in Computer Science, DEON 1991
    Abbreviated titleDEON


    • EWI-10663
    • IR-67612
    • SCS-Services

    Cite this