Robuta

https://fis.uni-bamberg.de/entities/publication/926c4397-5ab3-476a-9f28-32f388cdbd10 Automating public announcement logic with relativized common knowledge as a fragment of HOL in... public announcement logic common knowledge fragment hol