Unawareness refers to the lack of conception rather than the lack of information. This
chapter discusses various epistemic approaches to modeling (un) awareness from …

We compare different epistemic notions in the presence of awareness of propositional
variables: the logic of implicit knowledge (in which explicit knowledge is definable), the logic …

The paper develops an interface between syntax-based logical models of awareness and
dynamic epistemic logic. The framework is shown to be able to accommodate a variety of …

This article uses possible-world semantics to model the changes that may occur in an
agent's knowledge as she loses information. This builds on previous work in which the agent …

We examine various logics that combine knowledge, awareness, and change of awareness.
An agent can become aware of propositional propositions but also of other agents or of …

We define a process calculus to describe multi-agent systems with timeouts for
communication and mobility able to handle knowledge. The knowledge of an agent is …

This work builds upon a well-established research tradition on modal logics of awareness.
One of its aims is to export tools and techniques to other areas within modal logic. To this …

Abstract Heifetz, Meier & Schipper (HMS) present a lattice model of awareness. The HMS
model is syntax-free, which precludes the simple option to rely on formal language to induce …

Agents use their own vocabularies to reason and talk about the world. Public signature
awareness is satisfied if agents are aware of the vocabularies, or signatures, used by all …

Having defined the notion of 'awareness' as realizing one's own information, this chapter
aims to explore the applications of this concept to both Epistemology and Epistemic Logic …