Log in Join free

UvA-DARE (

MarcinJ.Schroeder AlexandruBaltag Sonja Smets

· 0 citations · 26 references

TL;DR

A novel type of epistemic logic is used, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents, exploring what agents or groups can know about their own epistemic position relative to that of others.

Semantic Scholar

View source

Similar papers

UvA-DARE (

MarcinJ.Schroeder, AlexandruBaltag, Sonja Smets · 0 citations

UvA-DARE (

MarcinJ.Schroeder, AlexandruBaltag, Sonja Smets · 0 citations

Sep 2026

Reasoning about the past in epistemic logic with separation

It is shown that, if the horizon of epistemic actions is bounded, the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities.

H. van Ditmarsch, D. Galmiche · Synthese · 0 citations

UvA-DARE (

Alexandru Baltag, Nick Bezhanishvili, Ayb ̈uke ̈Ozg ̈un et al. · 0 citations

UvA-DARE (

Alexandru Baltag, Nick Bezhanishvili, Ayb ̈uke ̈Ozg ̈un et al. · 0 citations

UvA-DARE (

Alexandru Baltag, Nick Bezhanishvili, Ayb ̈uke ̈Ozg ̈un et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.