Search Results for author: Rasmus K. Rendsvig

Found 4 papers, 0 papers with code

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

no code implementations24 Jun 2021 Gaia Belardinelli, Rasmus K. Rendsvig

The literature on awareness modeling includes both syntax-free and syntax-based frameworks.

Epistemic Planning with Attention as a Bounded Resource

no code implementations20 May 2021 Gaia Belardinelli, Rasmus K. Rendsvig

Where information grows abundant, attention becomes a scarce resource.

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

no code implementations1 Sep 2017 Dominik Klein, Rasmus K. Rendsvig

The paper analyzes dynamic epistemic logic from a topological perspective.

Cannot find the paper you are looking for? You can Submit a new open access paper.