The formal analysis of normative systems as initiated by Alchourrón and Bulygin can be complemented by the analysis of normative positions as pursued by Kanger, Lindahl, Sergot and Jones. The paper is a step towards integrating the two approaches within an algebraic theory of so-called Boolean quasi-orderings (Bqo's). In the general Bqo theory presented, a number of theoretical tools are introduced and elucidated by theorems, in particular those of fragment, connection, coupling and pair coupling. Condition implication structures (cis's) are models of the Bqo theory used for the representation of normative systems. A system of normative positions is introduced as a special kind of cis. The final section is devoted to an example exhibiting a...
This paper reports a correspondence between input/output logic and the theory of joining-system, an ...
In recent years, the study of norm-regulated multiagent systems (MAS) has attracted a lot of attenti...
The Theory of Joining Systems, abbreviated TJS, is a general theory of representing for example lega...
AbstractThe formal analysis of normative systems as initiated by Alchourrón and Bulygin can be compl...
The paper discusses normative systems and their revision within an algebraic framework. If a system ...
Many concepts in legal texts are "intermediaries", in the sense that they serve as links between sta...
AbstractMany concepts in legal texts are “intermediaries”, in the sense that they serve as links bet...
We analyze some normative relations as instances of a general schema of relations among a finite num...
The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundat...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Writing a contract with a specific content is a ground for purchase, purchase is a ground for owners...
In legal theory, a well-known idea is that an intermediate concept like 'ownership' joins a set of l...
AbstractWriting a contract with a specific content is a ground for purchase, purchase is a ground fo...
An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative...
Abstract. We consider the reverse mathematics of wqo and bqo theory. We survey the literature on the...
This paper reports a correspondence between input/output logic and the theory of joining-system, an ...
In recent years, the study of norm-regulated multiagent systems (MAS) has attracted a lot of attenti...
The Theory of Joining Systems, abbreviated TJS, is a general theory of representing for example lega...
AbstractThe formal analysis of normative systems as initiated by Alchourrón and Bulygin can be compl...
The paper discusses normative systems and their revision within an algebraic framework. If a system ...
Many concepts in legal texts are "intermediaries", in the sense that they serve as links between sta...
AbstractMany concepts in legal texts are “intermediaries”, in the sense that they serve as links bet...
We analyze some normative relations as instances of a general schema of relations among a finite num...
The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundat...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Writing a contract with a specific content is a ground for purchase, purchase is a ground for owners...
In legal theory, a well-known idea is that an intermediate concept like 'ownership' joins a set of l...
AbstractWriting a contract with a specific content is a ground for purchase, purchase is a ground fo...
An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative...
Abstract. We consider the reverse mathematics of wqo and bqo theory. We survey the literature on the...
This paper reports a correspondence between input/output logic and the theory of joining-system, an ...
In recent years, the study of norm-regulated multiagent systems (MAS) has attracted a lot of attenti...
The Theory of Joining Systems, abbreviated TJS, is a general theory of representing for example lega...