1 citations · 5 across the 7 of their papers we have counts for
8 papers
Belief Contraction in Dynamic Epistemic Logic
Gaia Belardinelli, Snow Zhang
Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural ac…
A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
Gaia Belardinelli, Thomas Bolander, Sebastian Watzl
In this work, we present the first general logic of attention. Attention is a powerful cognitive ability that allows agents to focus on potentially complex information, such as log…
Implicit Knowledge in Unawareness Structures
Gaia Belardinelli, Burkhard C. Schipper
Awareness structures by Fagin and Halpern (1988) (FH) feature a syntactic awareness correspondence and accessibility relations modeling implicit knowledge. They are a flexible mode…
Implicit Knowledge in Unawareness Structures -- Extended Abstract
Gaia Belardinelli, Burkhard C. Schipper
Awareness structures by Fagin and Halpern (1988) (FH) feature a syntactic awareness correspondence and accessibility relations modeling implicit knowledge. They are a flexible mode…
Attention! Dynamic Epistemic Logic Models of (In)attentive Agents
Gaia Belardinelli, Thomas Bolander
Attention is the crucial cognitive ability that limits and selects what information we observe. Previous work by Bolander et al. (2016) proposes a model of attention based on dynam…
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Gaia Belardinelli, Rasmus K. Rendsvig
The literature on awareness modeling includes both syntax-free and syntax-based frameworks. Heifetz, Meier \& Schipper (HMS) propose a lattice model of awareness that is syntax-fre…
Epistemic Planning with Attention as a Bounded Resource
Gaia Belardinelli, Rasmus K. Rendsvig
Where information grows abundant, attention becomes a scarce resource. As a result, agents must plan wisely how to allocate their attention in order to achieve epistemic efficiency…
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Gaia Belardinelli, Rasmus K. Rendsvig
Heifetz, Meier and 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 lattice…