Comparing semantics of logics for multi-agent systems (Q2431875)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Comparing semantics of logics for multi-agent systems |
scientific article; zbMATH DE number 5066688
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Comparing semantics of logics for multi-agent systems |
scientific article; zbMATH DE number 5066688 |
Statements
Comparing semantics of logics for multi-agent systems (English)
0 references
24 October 2006
0 references
A comparative analysis is offered of several logics that have been developed to deal with a set of agents taking actions, simultaneously or sequentially, on a common set of states, affecting transitions between states. The logics considered are coalitional game logic, alternating-time temporal logic and alternating-time temporal epistemic logic. Reduction and equivalence results are established for their semantics. Ways to transform between different types of models and languages are proved.
0 references
multi-agent systems
0 references
game theory
0 references
epistemic logic
0 references
coalitions
0 references
0.7943748235702515
0 references
0.7410436868667603
0 references
0.7346863150596619
0 references
0.7319954633712769
0 references
