Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303): Difference between revisions

@@ Property / author @@
+Christoph Benzmüller
@@ Property / author: Christoph Benzmüller / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metis_
@@ Property / describes a project that uses: Metis_ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LEO-II
@@ Property / describes a project that uses: LEO-II / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nitpick
@@ Property / describes a project that uses: Nitpick / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Satallax
@@ Property / describes a project that uses: Satallax / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-017-0160-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2589185918
@@ Property / OpenAlex ID: W2589185918 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified multimodal logics in simple type theory
+Normal rank
@@ Property / cites work @@
+Q5282959
@@ Property / cites work: Q5282959 / rank @@
+Normal rank
@@ Property / cites work @@
+The higher-order prover \textsc{Leo}-II
@@ Property / cites work: The higher-order prover \textsc{Leo}-II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896507
@@ Property / cites work: Q4896507 / rank @@
+Normal rank
@@ Property / cites work @@
+Types, tableaus, and Gödel's God
@@ Property / cites work: Types, tableaus, and Gödel's God / rank @@
+Normal rank
@@ Property / cites work @@
+A new small emendation of Gödel's ontological proof
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Satallax: An Automatic Higher-Order Prover
@@ Property / cites work: Satallax: An Automatic Higher-Order Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Source-Level Proof Reconstruction for Interactive Theorem Proving
+Normal rank
@@ Property / cites work @@
+Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
+Normal rank
@@ Property / cites work @@
+Computer-assisted analysis of the Anderson-Hájek ontological controversy
+Normal rank
@@ Property / cites work @@
+Q4893141
@@ Property / cites work: Q4893141 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in second order modal logic
+Normal rank