@article{Kaplan1979,
  title={On the logic of demonstratives},
  author={Kaplan, David},
  journal={Journal of philosophical logic},
  volume={8},
  number={1},
  pages={81--98},
  year={1979},
  publisher={Springer}
}

@article{Kaplan1989,
  title={Afterthoughts},
  author={Kaplan, David},
  year={1989}
}

@inproceedings{C71,
  Author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and Parent, Xavier},
  Booktitle =	 {Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018},
  Editor =	 {Jan Broersen and Cleo Condoravdi and Shyam Nair and Gabriella Pigozzi},
  Keywords =	 {own, Higher Order Logic, Deontic Logic,
                  Automated Reasoning, Universal Reasoning},
  Publisher =    {College Publications},
  pages =        {33-50},
  OPTSeries =	 {},
  Title =	 {A Dyadic Deontic Logic in {HOL}},
  Url =          {http://christoph-benzmueller.de/papers/C71.pdf},
  OPTVolume =	 9706,
  Year =	 2018,
  isbn =         {978-1-84890-278-7}
}

@incollection{CJDDL,
  title={Deontic logic and contrary-to-duties},
  author={Carmo, Jos{\'e} and Jones, Andrew JI},
  booktitle={Handbook of philosophical logic},
  pages={265--343},
  year={2002},
  publisher={Springer}
}

@article{J23,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson},
  Doi =		 {10.1007/s11787-012-0052-y},
  Journal =	 {Logica Universalis (Special Issue on Multimodal Logics)},
  Keywords =	 {own, 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,
}

@techreport{BenzmuellerDDL,
  Author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic,
                  Automated Reasoning, Universal Reasoning},
  Title =	 {Faithful Semantical Embedding of a Dyadic Deontic Logic in {HOL}},
  Institution =	 {CoRR},
  Note =	 {\url{https://arxiv.org/abs/1802.08454}},
  Url =		 {https://arxiv.org/abs/1802.08454},
  Year =	 2018
}

@InCollection{SEP2DSem,
	author       =	{Schroeter, Laura},
	title        =	{Two-Dimensional Semantics},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/sum2017/entries/two-dimensional-semantics/}},
	year         =	{2017},
	edition      =	{Summer 2017},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}

@book{GewirthRM,
  title={Reason and morality},
  author={Gewirth, Alan},
  year={1981},
  publisher={University of Chicago Press}
}

@book{Beyleveld,
  title={The dialectical necessity of morality: An analysis and defense of Alan Gewirth's argument to the principle of generic consistency},
  author={Beyleveld, Deryck},
  year={1991},
  publisher={University of Chicago Press}
}

@article{Kornai,
  title={Bounding the impact of {AGI}},
  author={Kornai, Andr{\'a}s},
  journal={Journal of Experimental \& Theoretical Artificial Intelligence},
  volume={26},
  number={3},
  pages={417--438},
  year={2014},
  publisher={Taylor \& Francis}
}





