Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
LORI
2009
Springer
10 years 8 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
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...
Emiliano Lorini, François Schwarzentruber, ...
LORI
2009
Springer
10 years 8 months ago
Intentions and Assignments
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...
Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmar...
LORI
2009
Springer
10 years 10 months ago
Toward a Dynamic Logic of Questions
Johan van Benthem, Stefan Minica
LORI
2009
Springer
10 years 10 months ago
Dynamic Context Logic
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...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
LORI
2009
Springer
10 years 10 months ago
First-Order Logic Formalisation of Arrow's Theorem
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...
Umberto Grandi, Ulle Endriss
LORI
2009
Springer
10 years 10 months ago
Expressing Properties of Coalitional Ability under Resource Bounds
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...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
LORI
2009
Springer
10 years 10 months ago
A General Family of Preferential Belief Removal Operators
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...
Richard Booth, Thomas Meyer, Chattrakul Sombatthee...
LORI
2009
Springer
10 years 10 months ago
Twelve Angry Men: A Study on the Fine-Grain of Announcements
Davide Grossi, Fernando R. Velázquez-Quesad...
LORI
2009
Springer
10 years 10 months ago
Learning and Teaching as a Game: A Sabotage Approach
Nina Gierasimczuk, Lena Kurzen, Fernando R. Vel&aa...
books