- A Dyadic Deontic Logic in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
- A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, 2018. ((John-Jules Meyer Best Paper Award))
Bibtex Entry:
@Inproceedings{pub84,
  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},
  note =         {(John-Jules Meyer Best Paper Award)},
}