LORI
2009
Springer
13 years 8 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
LORI
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
LORI
2009
Springer
13 years 10 months ago
2009
Springer
LORI
2009
Springer
13 years 10 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
LORI
2009
Springer
13 years 10 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
LORI
2009
Springer
13 years 10 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
LORI
2009
Springer
13 years 10 months ago
2009
Springer
LORI
2009
Springer
13 years 10 months ago
2009
Springer
Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for the...
LORI
2009
Springer
13 years 10 months ago
2009
Springer
LORI
2009
Springer
13 years 10 months ago
2009
Springer
