Picture for Gaia Belardinelli

Gaia Belardinelli

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

Add code
Mar 23, 2023
Viaarxiv icon

Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models

Add code
Jun 24, 2021
Figure 1 for Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Figure 2 for Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Figure 3 for Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Figure 4 for Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Viaarxiv icon

Epistemic Planning with Attention as a Bounded Resource

Add code
May 20, 2021
Figure 1 for Epistemic Planning with Attention as a Bounded Resource
Figure 2 for Epistemic Planning with Attention as a Bounded Resource
Viaarxiv icon

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Add code
Dec 23, 2020
Figure 1 for Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Figure 2 for Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Viaarxiv icon