Loading...
Please wait, while we are loading the content...
Similar Documents
Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ågotnes, Thomas Goranko, Valentin Jamroga, Wojciech |
| Copyright Year | 2007 |
| Abstract | Logics such as Alternating-time Temporal Logic ( ATL ) enable us to reason about the strategic abilities of agents. However, strategies in the semantics of ATL are, in a certain precise sense, r vocable. On the other hand, irrevocable strategiesare often naturally assumed, e.g., in game theory. In a recent work [1] we have introduced versions of ATL employing irrevocable strategies. This abstract provides a concise account of the logic of irrevocable strategies and describes initial work towards a proof theory for it. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://home.hib.no/ansatte/tag/publications/tableaux-2007.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |