Models of Strategic Reasoning Logics, Games, and Communities /

• Corporate Author: SpringerLink (Online service)
• Other Authors: van Benthem, Johan (Editor), Ghosh, Sujata (Editor), Verbrugge, Rineke (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 8972
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Algorithm Analysis and Problem Complexity.

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty th...

Table of Contents:

• Reasoning about games
• Dynamic models of rational deliberation in games.-  Reasoning about strategies and rational play in dynamic games.- Finite reasoning procedures for dynamic games
• Formal frameworks for strategies
• Logics for reasoning about strategic abilities in multi-player games.-  Using STIT theory to talk about strategies
• Automata and compositional strategies in extensive form games
• Languages for imperfect information.-Strategies in social situations
• Strategies of persuasion, manipulation and propaganda: Psychological and social aspects
• Strategies in social software
• Future perspective.- Logic of strategies: What and how?