Modal Logic in Coq and Scott's Version of Gödel's Proof of God's Existence (Rough Diamond Proof Pearl) (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Modal Logic in Coq and Scott's Version of Gödel's Proof of God's Existence (Rough Diamond Proof Pearl) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2014. ((Non-reviewed, superseded by CSR-2015 paper))
Bibtex Entry:
@misc{C43,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(Non-reviewed, superseded by CSR-2015 paper)},
  Title =	 {Modal Logic in Coq and Scott's Version of
                  {G\"odel's} Proof of {God}'s Existence (Rough
                  Diamond Proof Pearl)},
  Year =	 2014
}
Powered by bibtexbrowser