Back
  1. Home
  3. Detailled Reference
Download
Poster (Scientific congresses, symposiums and conference proceedings)
A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
2018 • 6th World Congress and School on Universal Logic
Permalink
https://hdl.handle.net/10993/36394
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
Universal logic.pdf
Author postprint (274.02 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Farjami, Ali ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Parent, Xavier ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Publication date :
16 June 2018
Event name :
6th World Congress and School on Universal Logic
Event place :
Vichy, France
Event date :
from 16-06-2018 to 26-06-2018
Audience :
International
Available on ORBilu :
since 22 August 2018

Statistics

Number of views
58 (6 by Unilu)
Number of downloads
21 (5 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu