We do logic motivated by the goal of understanding reasoning, both human and artificial. We call what we do logics for practical reasoning. The plural is mandatory, as the pursuit of our goal leads us to investigate a number of topics with a number of techniques. The adjective “practical” bears a double connotation. First, it suggests that the logic we do is applied to problems of rational reasoning. Second, and more ambitiously, it refers to the fact that whenever possible we aim at building logics representing the sort of reasoning which realistic, as opposed to highly idealised, agents are capable of performing. By the way, we do not think that classical logic is wrong. We use it all the time! We just think it is of extremely limited use as a model of the kind of reasoning we are interested in capturing — the rational one.
Our core research topics include
- the connection between information, uncertainty and rationality
- the interaction among rational agents (both human and artificial)
- the formalisation of epistemic, doxastic and dynamic attitudes
- the logical foundations of artificial intelligence
Our preferred research methods and techniques include
- Proof Theories
- Computational Logic
- Probability Logic
- Algebraic logic and Many-valued Logics
- Modal Logics
Come work with us!
The Logic Group welcomes collaborations in the research areas of interest. Pending available funding, we are constantly looking for PhDs, Post-Docs and Visiting Researchers to work with us. We strongly encourage anyone interested in a collaboration to get in touch with us to discuss possible lines of research.