[PDF] Top 20 PP 2003 04: The Epistemic Logic of IF Games

... distinguishes games as dynamic activities from assertions about ...any games at ...the games, but in their good old logical ...par: games, assertions, and ... See full document

... Many actions increase the size of our models because they create multiple copies of worlds. Especially after multiple updates we can end up in huge models that are hard to analyze. Do we have to deal with these huge ... See full document

... Our announcement scenarios worked on strategic games. But extensive games are no obstacle. A solution algorithm like Backward Induction suggests similar epistemic procedures. As in Sec. 3, we first ... See full document

... of epistemic and doxastic ...the epistemic nature of interaction by logicians, and this new direction of logic has quickly gained momentum and support, allowing a re-assessment of the role of ... See full document

... Aucher 2003). Such actions, too, are studied in modern epistemic logic ...resulting epistemic states of mutual knowledge or belief. And in parlor games, we expose ourselves to a ... See full document

... Indian logic suggesting that its origins might lie in legal practice, ...Lorenzen games, and later also Hintikka’s evaluation games and Ehrenfeucht model comparison games, to my students — ... See full document

... re-interpreted epistemic logic as an information theory of range, knowledge, and observation-based ...the epistemic one, but rather forms its natural ...Finally, logic offers another major ... See full document

... If agents know their probabilities of all propositions at some stage, product update will always lead to new probabilities which they know. In the Monty Hall tree, probabilities are even common knowledge among I and Q. ... See full document

... Benthem 2003 uses public announcement to analyze other solution ...Strategic games induce epistemic models M of strategy profiles with preferences and uncertainty relations for players who know their ... See full document

... Such models describe the temporal evolution of a system over time, but they can also include agents' knowledge and beliefs. E.g., expectations over time can be modelled as subsets of the possible future histories, while ... See full document

... predicate logic Next, even though dynamic epistemic logics and epistemic temporal logics extol the importance of events, they are remarkably silent on the structure of these supposedly crucial ...to ... See full document

... between logic and game theory – but the above story would probably leave them ...where logic and language play their traditional role, ...involves epistemic, doxastic and dynamic log- ics, providing ... See full document

... game logic left out the in- finitary game iteration of the original DGL, since our main concern was orthogonal: a lift to parallel ...modal logic over neighbourhood models can be translated into bimodal ... See full document

... Update by elimination of worlds incompatible with a statement made publicly is a simple mechanism. Human communication in general is very complex, including many other propositional attitudes than knowledge, such as ... See full document

... between logic and dynamical systems, a standard tool for analyzing evolutionary ...topological logic of time (Kremer and Mints, 2007), fixed- point logics of oscillation (van Benthem, 2015), and a ... See full document

... From logic games to game theory Logic games, though a very specialized class of rather high-brow activities, suggest issues which concern all games: cogent reasoning, playing at cards ... See full document

... Dynamic epistemic logic (DEL) (Baltag et ...in epistemic status over time, is not a temporal logic and cannot itself express temporal ...of epistemic and doxastic change represented in ... See full document

... minimal logic Σ introduced in section ...an epistemic game model if and only if ϕ is satisfiable on a generalized game ...some epistemic game model (see proposition ...an epistemic game model ... See full document

... With these observations in mind, we would like to end this thesis with some thoughts on the remarkable robustness of Arrow’s theorem. The same “dictatorial”-style impos- sibility results have emerged in many contexts and ... See full document

... any epistemic threshold model with sight at least ...any epistemic threshold model with any sight, the cluster theorem cannot be maintained as it was ...for epistemic threshold models with sight less ... See full document