Topic

Hypothetical reasoning or reasoning under assumptions is a key concept of logic. The notion of hypothesis is fundamental in all areas of theoretical philosophy. This conference concentrates on the logical aspects of hypothetical reasoning, such as

• assumption-based calculi and their proof theory
• logical consequence from a proof-theoretic or model-theoretic point of view
• logics of conditionals
• ...

The conference is organised as part of the French-German ANR-DFG project HYPOTHESES.