Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
semantic embedding
Publications
Åqvist's Dyadic Deontic Logic E in HOL
Christoph Benzmüller
,
Ali Farjami
and
Xavier Parent
EasyChair Preprint 554
Copyright © 2012-2024 easychair.org. All rights reserved.