In the present paper we study how subsystems of a normative system can be combined, and the role of such combinations for the understanding of hypothetical legal consequences. A combination of two subsystems is often accomplished by a normative correlation or an intermediate concept. To obtain a detailed analysis of such phenomena we use an algebraic framework. Normative systems are represented as algebraic structures over sets of conditions. This representation makes it possible to study normative systems using an extension of (...) the theory of Boolean algebras, called the theory of Boolean quasi‐orderings. (shrink)

In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we explain the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by proclaiming such positions. In addition, we account also for the concepts (...) of representation, namely the representatives capacity of acting in the name of his principal, and of mandate, which is the mandatees duty to act as the mandator has requested. Finally, we show how the framework can be applied to represent the contract-net protocol. Some brief remarks on future research and applications conclude this contribution. (shrink)

Currently, electronic agents are being designed and implemented that, unprecedentedly, will be capable of performing legally binding actions. These advances necessitate a thorough treatment of their legal consequences. In our paper, we first demonstrate that electronic agents behave structurally similar to human agents. Then we study how declarations of intention stated by an electronic agent are related to ordinary declarations of intention given by natural persons or legal entities, and also how the actions of electronic agents in this respect have (...) to be classified under German law. We discuss four different approaches of classifying agent declarations. As one of these, we propose the concept of an electronic person (i.e., agents with limited liability), enrolment of agents into an agent register, and agent liability funds as means to serve the needs of all contracting parties. (shrink)

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They (...) are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels. (shrink)

The purpose of the paper is to present a logical framework that allow to formalize a kind of prima facie duties, defeasible conditional duties, indefeasible conditional duties and actual (indefeasible) duties, as well as to show their logical interconnections.

We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

In the present paper we study how subsystems of a normative system can be combined, and the role of such combinations for the understanding of hypothetical legal consequences. A combination of two subsystems is often accomplished by a normative correlation or an intermediate concept. To obtain a detailed analysis of such phenomena we use an algebraic framework. Normative systems are represented as algebraic structures over sets of conditions. This representation makes it possible to study normative systems using an extension of (...) the theory of Boolean algebras, called the theory of Boolean quasi‐orderings. (shrink)

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They (...) are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels. (shrink)

A discussion of work formalising Hohfeld's classic taxonomy of rights relations between two parties.

Norms conferring public or private powers, i.e., the competence to issue other norms, play a very important rôle in law. But there is no agreement among legal philosophers about the nature of such norms. There are two main groups of theories, those that regard them as a kind of norms of conduct (either commands or permissions) and those that regard them as non-reducible to other types of norms. I try to show that reductionist theories are not quite acceptable; neither the (...) command-variety (Kelsen, Alf Ross inOn Law and Justice), nor the permission-variety (von Wright, Kanger, Lindahl) provide a satisfactory account of competence norms.Among the authors who maintain that competence norms are different from (and hence not reducible to) norms of conduct are Hart, Ross inDirectives and Norms, and Searle. Ross and Searle distinguish between regulative and constitutive rules as two radically different kinds of rules and classify competence norms among constitutive rules. This distinction runs parallel to von Wright's distinction between rules that are prescriptions and determinative rules. While the first regulate actions (by commanding, prohibiting, or permitting them), determinative rules define certain concepts. To view competence norms as (partial) definitions of certain legal concepts (like those of legislator, judge, etc.) seems to open interesting perspectives and to shed light on at least one aspect of these elusive norms. (shrink)