"Common Knowledge in an Epistemic Logic with Hypotheses."

Levan Uridia, Dirk Walther (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics