5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.AI2021★ 5 cited
Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Christoph Benzmüller, Sebastian Reiche
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…
cs.AI2020
Public Announcement Logic in HOL
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…