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