1 paper · 1 filter
Sebastian Reiche, Christoph Benzmüller
A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off…