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

Authors

186

  1. LV
    Leendert van der Torre

    University of Luxembourg, Luxembourg

    6 publications · 292 citations

    6

    h-index

  2. GB
    Guido Boella

    University of Turin, Italy

    3 publications · 183 citations

    3

    h-index

  3. UN
    Uwe Nestmann

    Technische Universität Berlin, Germany

    2 publications · 117 citations

    2

    h-index

  4. EM
    Enrico Macii

    Politecnico di Torino, Italy

    2 publications · 36 citations

    2

    h-index

  5. DS
    Donatella Sciuto

    Politecnico di Milano, Italy

    2 publications · 36 citations

    2

    h-index

1–5 of 186

Venues

  1. IEEE Transactions on Electronic Computers

    3 publications · 193 citations

    3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 30 citations

    2

    h-index

  3. Organic Letters

    OL · 2 publications · 106 citations

    2

    h-index

  4. Optics Express

    1 publications · 62 citations

    1

    h-index

  5. The Journal of Physical Chemistry C

    1 publications · 56 citations

    1

    h-index

1–5