6 citations · 10 across the 5 of their papers we have counts for
8 papers
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…
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epist…
Dynamic Term-Modal Logics for First-Order Epistemic Planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specify…
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements…