Input-output Logic
Input-Output Logic is a formal framework within deontic logic that specifies normative consequences by defining rules for deriving acceptable outputs from given inputs, distinguishing itself from other deontic systems through its reliance on conditional norms without requiring explicit representations of modal operators or deontic statuses.
58
Publications
2.5K
Citations
186
Authors
93
Institutions
Publications per year
2017–2026
13
Parents
58
What is a “Good” Encoding of Guarded Choice?
Uwe Nestmann · Information and Computation · 2000 · 101 citations
1–5 of 58
186
6
h-index
3
h-index
2
h-index
2
h-index
2
h-index
1–5 of 186
93
University of Luxembourg
Luxembourg, Luxembourg
4 h-index
7 publications
334 citations

University of Turin
Turin, Italy
3 h-index
3 publications
183 citations
Centrum Wiskunde & Informatica
Amsterdam, The Netherlands
3 h-index
3 publications
152 citations
Politecnico di Milano
Milan, Italy
2 h-index
6 publications
108 citations
Politecnico di Torino
Turin, Italy
2 h-index
4 publications
72 citations
University of Southampton
Southampton, United Kingdom
2 h-index
2 publications
314 citations
Universitat Politècnica de Catalunya
Barcelona, Spain
2 h-index
3 publications
78 citations

Centre National de la Recherche Scientifique
Paris, France
2 h-index
3 publications
90 citations
1–8 of 93
3 publications · 193 citations
3
h-index
ENTCS · 2 publications · 30 citations
2
h-index
OL · 2 publications · 106 citations
2
h-index
1 publications · 62 citations
1
h-index
1 publications · 56 citations
1
h-index
1–5