Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Norms in Branching Space-Times.- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.- Acting, Events and Actions.- A Tableaux System for Deontic Action Logic.- Information Security Economics - and Beyond.- Trust and Norms in the Context of Computer Security: A Logical Formalization.- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.- Delegation of Control in Administrative Procedures.- Variations in Access Control Logic.- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.- Need to Know: Questions and the Paradox of Epistemic Obligation.- A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.- Reactive Kripke Models and Contrary to Duty Obligations.- Normative Consequence: The Problem of Keeping It Whilst Giving It up.- On the Strong Completeness of Aqvist's Dyadic Deontic Logic G.- Strata of Intervenient Concepts in Normative Systems.- A Deontic Logic for Socially Optimal Norms.- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.- Introducing Grades in Deontic Logics.- Pushing Anderson's Envelope: The Modal Logic of Ascription.

[1]  Yao-Hua Tan,et al.  Two-phase Deontic Logic , 2022 .

[2]  Gerhard Brewka,et al.  Belief revision in a framework for default reasoning , 1989, The Logic of Theory Change.

[3]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[4]  Alan Donagan,et al.  Consistency in Rationalist Moral Systems , 1984 .

[5]  Vincent Risch,et al.  Preferential Logics are X-logics , 2001, J. Log. Comput..

[6]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .

[7]  Lou Goble,et al.  Multiplex semantics for deontic logic , 2000 .

[8]  N. Rescher.  An axiom system for deontic logic , 1958 .

[9]  David Lewis,et al.  Ordering semantics and premise semantics for counterfactuals , 1981, J. Philos. Log..

[10]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[11]  Jörg Hansen,et al.  Problems and results for logics about imperatives , 2004, J. Appl. Log..

[12]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[13]  Alexander Bochman,et al.  A Logical Theory of Nonmonotonic Inference and Belief Change , 2001, Artificial Intelligence.

[14]  Lou Goble,et al.  Preference semantics for deontic logic part I — Simple models , 2003 .

[15]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[16]  Alexander Bochman,et al.  Credulous Nonmonotonic Inference , 1999, IJCAI.

[17]  Jörg Hansen.  Sets, Sentences, and Some Logics about Imperatives , 2001, Fundam. Informaticae.

[18]  Robert Walter,et al.  Allgemeine Theorie der Normen , 1979 .

[19]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[20]  John F. Horty,et al.  Nonmonotonic Foundations for Deontic Logic , 1997 .

[21]  Alexander Bochman,et al.  Brave Nonmonotonic Inference and Its Kinds , 2003, Annals of Mathematics and Artificial Intelligence.

[22]  Stefan Brass,et al.  On the Semantics of Supernormal Defaults , 1993, IJCAI.

[23]  Pierre Siegel,et al.  A Representation Theorem for Preferential Logics , 1996, KR.

[24]  David O. Brink,et al.  Moral conflict and its structure , 1994 .

[25]  A. Kratzer.  Conditional Necessity and Possibility , 1979 .

[26]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[27]  Hans Rott.  Belief Contraction in the Context for the General Theory of Rational Choice , 1993, J. Symb. Log..

[28]  Wolfgang Spohn,et al.  An analysis of Hansson's dyadic deontic logic , 1975, J. Philos. Log..

[29]  John F. Horty,et al.  Reasoning with Moral Conflicts , 2003 .

[30]  David Makinson,et al.  Bridges between Classical and Nonmonotonic Logic , 2003, Log. J. IGPL.

[31]  Ruth Barcan Marcus,et al.  Moral Dilemmas and Consistency , 1980 .

[32]  Lou Goble,et al.  A logic for deontic dilemmas , 2005, J. Appl. Log..

[33]  B. Hansson.  An analysis of some deontic logics , 1969 .