Input/Output Logics

By D. Makinson, Leendert van der Torre. Journal of Philosophical Logic, 2000

326 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Introduction to normative multiagent systems (2006, unknown): “We therefore believe that norms should be represented as a domain independent theory, for example in deontic logic [16,17,18,19,20,21].”
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples (2017, methodology): “Putting this overall notion in formal terms, Makinson and van der Torre [37] represent rules by ordered pairs (a, x), where the antecedent a is thought of as an input, representing some condition or situation, and the consequent x is thought of as an output, representing what the rule tells us to be”