Picture for Rasmus K. Rendsvig

Rasmus K. Rendsvig

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

Dynamic Term-Modal Logics for Epistemic Planning

Add code
Jun 14, 2019
Figure 1 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 2 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 3 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 4 for Dynamic Term-Modal Logics for Epistemic Planning
Viaarxiv icon