HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ali Farjami

Publications
Åqvist's Dyadic Deontic Logic E in HOL
Christoph Benzmüller, Ali Farjami and Xavier Parent
EasyChair Preprint 554

Keyphrases

automated reasoning, classical higher-order logic, Dyadic deontic logic E, Preference Models, semantic embedding.

Copyright © 2012-2025 easychair.org. All rights reserved.