Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008
    DBLP: db/conf/deon/deon2008.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 20  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jan M. Broersen.
    A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Martín Abadi.
    Variations in Access Control Logic.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Nuel Belnap.
    Norms in Branching Space-Times.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Mark A. Brown.
    Acting, Events and Actions.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Emiliano Lorini, Robert Demolombe.
    Trust and Norms in the Context of Computer Security: A Logical Formalization.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Pilar Dellunde, Lluis Godo.
    Introducing Grades in Deontic Logics.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini.
    A Deontic Logic for Socially Optimal Norms.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Davide Grossi.
    Pushing Anderson's Envelope: The Modal Logic of Ascription.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Dov M. Gabbay.
    Reactive Kripke Models and Contrary to Duty Obligations.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Joris Hulstijn.
    Need to Know: Questions and the Paradox of Epistemic Obligation.
    Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008 (0) 2008
    Show item 1 to 10 of 20  

    Your query returned 20 matches in the database.