research
∙
11/02/2021
Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
A shallow semantical embedding for public announcement logic with relati...
share
research
∙
10/02/2020
