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, volume 9706, pp. 33-50, 2018. (John-Jules Meyer Best Paper Award, Url (preprint): https://tinyurl.com/y9wp4p6s)
Bibtex Entry:
@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},
  Title =	 {A Dyadic Deontic Logic in HOL},
  Note =	 {John-Jules Meyer Best Paper Award, Url (preprint):
                  \url{https://tinyurl.com/y9wp4p6s}},
  Volume =	 9706,
  Year =	 2018,
  isbn =	 {978-1-84890-278-7},
}
Powered by bibtexbrowser