3 papers
cs.LO2026
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…
cs.AI2025
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…
cs.LO2024
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…