251
Voted
DEON
15 years 9 months ago
2010 Springer 
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
168
click to vote
DEON
15 years 7 months ago
2010 Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
199
Voted
DEON
15 years 10 months ago
2010 Springer 
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
166
Voted
DEON
15 years 8 months ago
2010 Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
181
click to vote
DEON
15 years 5 months ago
2010 Springer 
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
|
Automated Reasoning