Åqvist's Dyadic Deontic Logic E in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
Åqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Laura Alonso Alemany, Guillermo Simari, Leon van der Torre, eds.), 2019. (To appear, URL (preprint): http://orbilu.uni.lu/handle/10993/37014)
Bibtex Entry:
@article{J45,
Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Xavier Parent},
Journal =	 {Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications},
Editor =	 {Alemany, Laura Alonso and Simari, Guillermo and van der Torre, Leon},
Title =	 {{{\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},
Note =         {To appear, URL (preprint): \url{http://orbilu.uni.lu/handle/10993/37014}},
Url =         {http://collegepublications.co.uk/ifcolog/},
Year =	 2019,
}
Powered by bibtexbrowser