Reasoning about cooperation, actions and preferences
Bibliographic Data
| ID | 10808464 |
|---|---|
| Authors | Lena Kurzen (University of Amsterdam, corresponding author) |
| Year | 2009 |
| Volume | 169 |
| Issue | 2 |
| Pages | 223-240 |
| Publication date | 2009-07-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-009-9551-7 |
| OpenAlex | W2075440701 |
| Language | EN |
| References cited | 8 |
In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME-hard
Algorithm · Boolean satisfiability problem · Computational complexity theory · Decidability · Epistemology · Expressive power · EXPTIME · Mathematical economics · Metaphysics · Philosophy of language · Philosophy of science · PSPACE · Satisfiability · Advanced Algebra and Logic · Computer Science · Formal Methods in Verification · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Theoretical Computer Science
| Highly cited | No |
|---|