Automating Emendations of the Ontological Argument in Intensional...
Title: Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal LogicAuthor, co-author: Fuenmayor, David; Benzmüller, Christoph Abstract: A shallow semantic embedding of an...
View ArticleComputer-Assisted Analysis of the Anderson-Hájek Controversy
Title: Computer-Assisted Analysis of the Anderson-Hájek Controversy Author, co-author: Benzmüller, Christoph; Weber, Leon; Woltzenlogel Paleo, Bruno Abstract: A universal reasoning approach based on...
View ArticleTypes, Tableaus and Gödel's God in Isabelle/HOL
Title: Types, Tableaus and Gödel's God in Isabelle/HOL Author, co-author: Fuenmayor, David; Benzmüller, Christoph Abstract: A computer-formalisation of the essential parts of Fitting's textbook "Types,...
View ArticleThe Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E....
Title: The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological ArgumentAuthor, co-author: Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander;...
View ArticleComputer-assisted Reconstruction and Assessment of E. J. Lowe's Modal...
Title: Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological ArgumentAuthor, co-author: Benzmüller, Christoph; Fuenmayor, David Abstract: Computers may help us to understand...
View Article"Selig die Armen im Geiste"
Title: "Selig die Armen im Geiste"Author, co-author: Weber, Jean-Marie
View ArticleThe Politics of Church Land Administration: the Case of the Orthodox...
Title: The Politics of Church Land Administration: the Case of the Orthodox Patriarchate of Jerusalem in Ottoman and Mandatory PalestineAuthor, co-author: Papastathis, Konstantinos; Kark, Ruth
View ArticleReligionsunterricht in Luxemburg aus diskurstheoretischer Sicht: eine...
Title: Religionsunterricht in Luxemburg aus diskurstheoretischer Sicht: eine spannende Geschichte und eine spannungsvolle ZukunftAuthor, co-author: Weber, Jean-Marie
View ArticleDer "March for Science" in Deutschland und die Werte der Wissenschaft
Title: Der "March for Science" in Deutschland und die Werte der WissenschaftAuthor, co-author: Baudson, Tanja
View ArticleGeistliche Macht der Musik oder weltliche Macht der geistlichen Musiker...
Title: Geistliche Macht der Musik oder weltliche Macht der geistlichen Musiker Cäcilianismus in Luxemburg Author, co-author: Sagrillo, DamienAbstract: The spiritual power of music or secular power of...
View ArticleLa Caverne, des Ténèbres à la Lumière
Title: La Caverne, des Ténèbres à la Lumière Author, co-author: Meyers, Christian
View ArticleGlobalisierung der Nächstenliebe und der Gerechtigkeit
Title: Globalisierung der Nächstenliebe und der Gerechtigkeit Author, co-author: Weber, Jean-Marie
View ArticleCo-Creating Ritual Spaces and Communities: An Analysis of Municipial Cemetery...
Title: Co-Creating Ritual Spaces and Communities: An Analysis of Municipial Cemetery Tongerseweg, Maastricht, 1812-2020Author, co-author: Jedan, Christoph; Kmec, Sonja; Kolnberger, Thomas; Venbrux,...
View ArticleWillibrord: entre histoire et hagiographie : Aspects de la représentation du...
Title: Willibrord: entre histoire et hagiographie : Aspects de la représentation du saint au Moyen Âge Author, co-author: Pettiau, Hérold Abstract: Building on the presentation given in Novembre 2019...
View ArticleRussians in Luxembourg: Zwischen rotem Stern und orthodoxem Kreuz. Grabpflege...
Title: Russians in Luxembourg: Zwischen rotem Stern und orthodoxem Kreuz. Grabpflege als Spiegel der russischen DiasporaAuthor, co-author: Ganschow, InnaAbstract: The focus of the article lies on the...
View ArticleHans Küng. Ein Theologe mit Wumms und Stacheln
Title: Hans Küng. Ein Theologe mit Wumms und Stacheln Author, co-author: Weber, Jean-Marie
View ArticleÖffnung auf ein Mehr an Leben Teil 2: Der Weg aus der Krise
Title: Öffnung auf ein Mehr an Leben Teil 2: Der Weg aus der Krise Author, co-author: Weber, Jean-Marie
View ArticleÖffnung auf ein Mehr an Leben Teil 1: Die Ursache für die Krise der Kirche
Title: Öffnung auf ein Mehr an Leben Teil 1: Die Ursache für die Krise der Kirche Author, co-author: Weber, Jean-Marie
View ArticleThe Materiality and Spatiality of Death, Burial and Commemoration
Title: The Materiality and Spatiality of Death, Burial and CommemorationEditor: Streb, Christoph K.; Kolnberger, ThomasAbstract: Introduction: The materiality and spatiality of death, burial and...
View ArticleEntre mode et religion, un corps à corps riche de sens
Title: Entre mode et religion, un corps à corps riche de sens Author, co-author: Roelens, Nathalie
View Article