A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations

08/28/2020
by   Bjørn Kjos-Hanssen, et al.
0

We show that Carmo and Jones' condition 5(e) conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/11/2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first...
research
03/19/2020

On the Detectability of Conflict: a Remote Sensing Study of the Rohingya Conflict

The detection and quantification of conflict through remote sensing moda...
research
09/21/2023

Rehearsal: Simulating Conflict to Teach Conflict Resolution

Interpersonal conflict is an uncomfortable but unavoidable fact of life....
research
03/20/2017

Complex Number Formulation and Convex Relaxations for Aircraft Conflict Resolution

We present a novel complex number formulation along with tight convex re...
research
08/22/2022

Getting Bored of Cyberwar: Exploring the Role of the Cybercrime Underground in the Russia-Ukraine Conflict

There has been substantial commentary on the role of cyberattacks, hackt...
research
06/24/2023

Categorical Approach to Conflict Resolution: Integrating Category Theory into the Graph Model for Conflict Resolution

This paper introduces the Categorical Graph Model for Conflict Resolutio...
research
05/11/2023

Conflict Mitigation Framework and Conflict Detection in O-RAN Near-RT RIC

The steady evolution of the Open RAN concept sheds light on xApps and th...

Please sign up or login with your details

Forgot password? Click here to reset