Paper published in a journal (Scientific congresses, symposiums and conference proceedings)
Input/output logics
Parent, Xavier; van der Torre, Leon
2009In Abstract book of 9th De Morgan Workshop on Deontic Logic
Peer reviewed
 

Files


Full Text
10.1.1.114.6153.pdf
Publisher postprint (155.9 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
input/output logic reusability identity conditional goals conditional obligations deontic logic
Abstract :
[en] In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Exa mples arise in contexts of conditional obligations, goals, ideals, preferences , actions, and beliefs. Our purpose is to develop a theory of such input/output operations . Four are singled out: simple- minded, basic (making intelligent use of disjunctiv e inputs), simple-minded reusable (in which outputs may be recycled as inputs), and b asic reusable. They are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2010-108
Author, co-author :
Parent, Xavier ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Input/output logics
Publication date :
2009
Event name :
9th De Morgan Workshop on Deontic Logic
Event date :
12 2009
Audience :
International
Journal title :
Abstract book of 9th De Morgan Workshop on Deontic Logic
ISSN :
0022-3611
eISSN :
1573-0433
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 03 April 2016

Statistics


Number of views
68 (7 by Unilu)
Number of downloads
64 (5 by Unilu)

Scopus citations®
 
228
Scopus citations®
without self-citations
152
WoS citations
 
164

Bibliography


Similar publications



Contact ORBilu