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