@misc{MallyTheory,
 author = {Zalta, Edward N.},
 title = {The Theory of Abstract Objects},
 howpublished = {\url{http://mally.stanford.edu/theory.html}},
 note = {Accessed: April 04, 2017}
}
@misc{MallyDistinction,
 author = {Zalta, Edward N.},
 title = {The Theory of Abstract Objects},
 howpublished = {\url{http://mally.stanford.edu/distinction.html}},
 note = {Accessed: April 04, 2017}
}
@misc{PM,
 author = {Zalta, Edward N.},
 title = {Principia Logico-Metaphysica},
 howpublished = {\url{http://mally.stanford.edu/principia.pdf}},
 note = "[Draft/Excerpt; accessed: April 01, 2017]"
}
@Article{rtt,
  author = {Paul E.~Oppenheimer and Edward N.~Zalta},
  title = {Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations},
  journal = {Journal of Logic and Computation},
  year = 2011,
  number = 21,
  pages = {351--374}}
}
@InCollection{sep-abstract-objects,
 author       = {Rosen, Gideon},
 title        = {Abstract Objects},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 editor       = {Edward N. Zalta},
 howpublished = {\url{https://plato.stanford.edu/archives/spr2017/entries/abstract-objects/}},
 year         = {2017},
 edition      = {Spring 2017},
 publisher    = {Metaphysics Research Lab, Stanford University}
}
@article{UniversalReasoning,
  author    = {Christoph Benzm{\"{u}}ller},
  title     = {Universal Reasoning, Rational Argumentation and Human-Machine Interaction},
  journal   = {CoRR},
  volume    = {abs/1703.09620},
  year      = {2017},
  url       = {http://arxiv.org/abs/1703.09620},
  timestamp = {Mon, 03 Apr 2017 12:41:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Benzmuller17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{ModalLogics,
 Author = {Christoph Benzm{\"u}ller and Lawrence Paulson},
 Doi = {10.1007/s11787-012-0052-y},
 Journal = {Logica Universalis (Special Issue on Multimodal Logics)},
 Keywords = {Higher Order Logic, Semantic Embedding, Modal Logics, Henkin Semantics},
 Number = 1,
 Pages = {7-20},
 Title = {Quantified Multimodal Logics in Simple Type Theory},
 Url = {http://christoph-benzmueller.de/papers/J23.pdf},
 Volume = 7,
 Year = 2013,
}
@inproceedings{GoedelGod,
 Author = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
 Booktitle = {ECAI 2014},
 Doi = {10.3233/978-1-61499-419-0-93},
 Editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
 Keywords = {Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics, DFG-2501-Selected},
 Pages = {93 -- 98},
 Publisher = {IOS Press},
 Series = {Frontiers in Artificial Intelligence and Applications},
 Title = {Automating {G\"{o}del's} Ontological Proof of {God}'s Existence with Higher-order Automated Theorem Provers},
 Url = {http://christoph-benzmueller.de/papers/C40.pdf},
 Volume = 263,
 Year = 2014,
}
@book{zalta1988intensional,
  title={Intensional Logic and the Metaphysics of Intentionality},
  author={Zalta, E.N.},
  isbn={9780262240277},
  lccn={87032171},
  series={A Bradford book},
  year={1988},
  publisher={MIT Press}
}
@book{zalta1983abstract,
  title={Abstract Objects: An Introduction to Axiomatic Metaphysics},
  author={Zalta, E.},
  isbn={9789027714749},
  lccn={82020549},
  series={Synthese Library},
  url={https://books.google.de/books?id=voCSP6k3FCcC},
  year={1983},
  publisher={Springer}
}
@incollection{DOttaviano2012,
  doi = {10.1007/978-3-0346-0145-0_7},
  url = {https://doi.org/10.1007/978-3-0346-0145-0_7},
  year  = {2012},
  publisher = {Springer Basel},
  pages = {71--88},
  author = {Itala M. Loffredo D'Ottaviano and H{\'{e}}rcules de Ara{\'{u}}jo Feitosa},
  title = {On G\"{o}del's Modal Interpretation of the Intuitionistic Logic},
  booktitle = {Universal Logic: An Anthology}
}
@Book{Isabelle,
  author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title  = {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
  publisher = {Springer},
  series = {LNCS},
  volume = 2283,
  year  = 2002}
@incollection{B5,
 Author = {Christoph Benzm{\"u}ller and Dale Miller},
 Booktitle = {Handbook of the History of Logic, Volume 9 --- Computational Logic},
 Doi = {10.1016/B978-0-444-51624-4.50005-8},
 Editor = {Gabbay, Dov M. and Siekmann, J\"org H. and Woods, John},
 Isbn = {978-0-444-51624-4},
 Keywords = {Automated Reasoning, Higher Order Logic, History of Logic, DFG-2501-Selected},
 Pages = {215-254},
 Publisher = {North Holland, Elsevier},
 Title = {Automation of Higher-Order Logic},
 Url = {http://christoph-benzmueller.de/papers/B5.pdf},
 Year = 2014,
}
@article{FreeLogic,
  author    = {Christoph Benzm{\"{u}}ller and
               Dana S. Scott},
  title     = {Axiomatizing Category Theory in Free Logic},
  journal   = {CoRR},
  volume    = {abs/1609.01493},
  year      = {2016},
  url       = {http://arxiv.org/abs/1609.01493},
  timestamp = {Mon, 03 Oct 2016 17:51:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BenzmullerS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}