Advances in Modal Logic 2018: Bern, Switzerland

Abstracts of Invited Talks

Contributed Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics