@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}
}
