We define and investigate a structure incorporating what is true, what is known and what is believed by a rational agent in models of the S4.2 logic of knowledge. The notion of KBR-structures introduced, provides a fine-grained modal analysis of an agent’s epistemic state, actually one that differentiates knowledge from belief and accounts for an agent without full introspective power (concerni...

We consider the logical omniscience problem of epistemic logic. We argue that the problem is due to the way in which knowledge and belief are captured in Hintikka's possible worlds semantics. We describe an alternative approach in which propositions are sets of worlds, and knowledge and belief are simply a list of propositions for each agent. The problem of the circularity in the definition is ...

We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account. This operation allows to represent partial observational information about a large model in a small model, where the small models can be viewed as representations of the observational power of agents, and about their powers for changing the facts of the world. ...

This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epis...

Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiagent systems. Linear logic treats hypotheses as consumable resources, allowing us to model evolution of state. Combining principles from these two separate traditions into a single coherent logic allows us to represent localized consumable resources and their flow in a distributed system. The slog...

In this paper we put forward Epistemic Strategy Logic (ESL), a logic of knowledge and strategies in contexts of imperfect information. ESL extends Strategy Logic by adding modal operators for individual and collective knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantic...

Epistemic virtues or epistemic values, we are told, play a major role in our assessments of the bearing of evidence in science. There is something quite right about this notion; and there is something quite wrong about it. My goal in the chapter is to explain each. In brief, what is right about the notion of epistemic virtue or value is that criteria such as simplicity and explanatory power do ...

Epistemic justification has been claimed to be a special case of argument by philosophers such as Accordingly for each attempt, epistemic justification is the occasion of the arguer making a case for some conclusion based on other premises, when the audience and the arguer are the same person. The dialectical model of argument is used to inform how it is that a subject could come to justify her...

The Epistemic Halpern-Shoham logic (EHS) is a temporalepistemic logic that combines the interval operators of the HalpernShoham logic with epistemic modalities. The semantics of EHS is based on interpreted systems whose labelling function is defined on the endpoints of intervals. We show that this definition can be generalised by allowing the labelling function to be based on the whole interval...