Leendert van der Torre

Dutch computer scientist who has worked on deontic logic and normative reasoning in artificial intelligence.

Co-developed input/output logic with David Makinson — a framework for reasoning about norms that handles conditional obligations without the paradoxes of SDL.