CA | ES | EN
A Logical System for Reasoning with Scientific Hypotheses

We introduce and investigate a family of non-monotonic consequence relations which are motivated by the goal of capturing important patterns of scientific inference.


Esther Anna Corsi: I am a PostDoc in the Logic Group in the Department of Philosophy of the University of Milan. I obtained my PhD in Computer Science at the TU Wien,  Theory and Logic Group in the Institute of Computer Languages under the supervision of Chris Fermüller.