Å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): https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL)
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{https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL}},
OPTUrl =         {https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL},
Year =	 2019,
}
Powered by bibtexbrowser