News 23.05.2022 Workshop and Tutorial on Computational Metaphysics and Intensionality: May 31 and June 1 23.05.2022 New Article in JLC The Article "Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy" just appeared in the Journal of… 23.05.2022 Daniel Kirchner very successfully defended his PhD thesis on May 16. 21.03.2022 New Article Der Artikel "A Simplified Variant of Gödel's Ontological Argument." wird in Kürze in erscheinen.