Åqvist's Dyadic Deontic Logic E in HOL

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Journal title: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications

Journal number: 6

Journal publisher: College Publications

Published year: 2019

Published pages: 733-754

ISSN: 2631-9810