Learn More
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of(More)
Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We propose a way to generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with different slots for probability, and a matching dynamic logic of information change that has a probabilistic character itself. We(More)
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. We make a distinction between 'public assignment' and 'atomic assignment'. Public assignment means that the entire group of agents is aware of the factual change. This operation(More)
Over the years many easily computable strategies for the game of Mastermind have been proposed. In this paper we present a new strategy (at least to our knowledge) that performs better than the well-known strategies: guess the code that has the highest number of possible answers. It is motivated and compared to four well-known strategies. Some empirical(More)
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we also study public substitution operators. We prove many of the results regarding expressivity and completeness using so-called reduction axioms. We develop a general method for(More)
This is a republication of this article, published in Synthese (2006) 151: 201–232. Unfortunately many errors occurred due to an electronic flaw. Please find the correct version on the next pages. ABSTRACT. In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state(More)
Two groups of agents, G 1 and G 2 , face a moral conflict if G 1 has a moral obligation and G 2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like 'In the interest of group F of agents, group G of agents ought to see to(More)
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition. It also fits in approaches that(More)