Three Inadequate Models

This paper analyses the logical structure of the balancing of conflicting normative arguments, and asks whether non-monotonic logic is adequate to represent this type of legal or practical reasoning. Norm conflicts are often regarded as a field of ...

In AI approaches to argumentation, different senses of argument are often conflated. We propose a three-level distinction between arguments, cases, and debates. This allows us to modularise issues into separate levels and identify systematic relations ...

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-...