[PDF] Top 20 MoL 2003 05: A Model for Epistemic Games

... an epistemic game model if and only if ϕ is satisfiable on a generalized game ...game model is the bounded morphic image of some epistemic game model (see proposition ...game ... See full document

... Note that G is no longer the global modality but the common knowledge operator. This change is in order to keep the truth of our formulas invariant under bisimulation and generated submodels – a very useful property for ... See full document

... On the other hand, the introduction of the notion of effort to the con- text of epistemic logic brings along a paradigm shift in epistemic logic. The traditional understanding of knowledge has been defined ... See full document

... with epistemic logics: van der Hoek and Wooldridge proposed an epistemic extension of ATL, which they called ATEL [31], which was later extended by Jam- roga and van der Hoek ...for epistemic ... 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

... Using Bayesian Kripke structures, we present a semantic treatment of cascades. This construction has several advantages. The first is that it represents a quantitative belief system that tracks each agent’s observational ... See full document

... ences over distributions are separable from the paths through the game tree that determine those distributions. The preferences are defined over bundles and those definitions are insensitive to the presence or absence of ... See full document

... in epistemic doxastic logic, form the basis for our ...a model transformer for them, which models deliberation as a process in which all agents share all their ...the model transformer from Chapter 3 ... See full document

... that model of the two where ∃x•α ...in model M according to σ – and write down an existential quantifier for that ...round games starting from an initial match ... 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

... to model the process of set development, and (ii) its interpretation of the modalities is ontological, which makes it hard to define what it means to potentially ...and epistemic rather than ... See full document

... interrogative model of inquiry which I have developed over the past several years offers to the first time satisfactory framework for understanding the nature of the Socratic ...interrogative model can ... See full document

... of epistemic logic that really powers this is not the traditional zoo of epistemic logics with their ‘capitalist’ names (S4, S5, ...dynamic epistemic logic, a simple yet powerful paradigm for ... See full document

... local model checking, i.e., given a formula, a model and a state of the model, check if the formula is satisfied at that particular ...global model checking problem, i.e., given a formula and ... See full document

... In sentence 3a, for instance, the hearer can retrieve a definite description “the murderer of Smith”, which she attributes to the object that a speaker has in mind, on the basis of the i[r] ... See full document

... Every time ba2racerdpll finds a propositional model, it places the gen- erated KB in a file and calls RACER with it as parameter. The file used to store the generated KB is called <input file>.racer. The ... See full document

... of informational events. However, it is a common assumption of the framework that, given some consistency constraints, the agents’ informational states can change in any way. On the other hand, ETL describes the ... See full document

... However, if there are genuine many-to-one ontological reductions nothing speaks, in principle, against the possibility that there are many-to-one ontological reductions to denumerable un[r] ... See full document

... Following the strategic form game, its counterpart the extensive form game was introduced. This section began by describing the terminology that accounts for the sequential nature of this game form. The game tree further ... See full document

... In this conversation person A asks other participants a question whether it is the case that if Pete plays the piano, Sue will sing. Person B, then replies that this is the case, i.e., she claims that if Pete plays the ... See full document