Seminars
We are delighted to announce that our logic seminar series is back! Talks will be held online, starting from February 19
th
, 12.30 CET. Anyone interested is welcome.
13 May 2024 · Seminar
We have explored the adequacy of IS5 maintaining the idea of knowledge as verification in the light of computer-aided verification processes with the following alternative epistemic reading: Box A “there is a certificate of A” Diamond A “there is a…
6 May 2024 · Seminar
In this talk I will present a novel proof-theoretic approach to nonmonotonic reasoning, which is based on the combination of sequents and antisequents — i.e., sequents for unprovability — into suitable Gentzen-style calculi. In the first part, I introduce…
29 Apr 2024 · Seminar
The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence. In this talk, we survey work that provides evidence for the long-standing and deep connections between…
15 Apr 2024 · Seminar
I will present a logic-based study of agency and multi-agent systems which brings together rationality and normativity. In particular, I will introduce, discuss, and illustrate with some examples the core version of the Logic for Strategic Reasoning with…
8 Apr 2024 · Seminar
Dynamic Epistemic Logic (DEL) can be used as a formalism for agents to represent the mental states of other agents: their beliefs and knowledge, and potentially even their plans and goals. Hence, the logic can be used as a formalism to give agents a Theory…
18 Mar 2024 · Seminar
Probability and statistics are at the heart of the modern world, from medicine, to finance, to the most recent advances in machine learning. However, they are poorly understood by the general public, and even to scientists they often present an excessive…
11 Mar 2024 · Seminar
In this talk I will present a general framework for reasoning with nonmontonic conditionals such as defaults and norms. Attractive features of the framework are: it is unifying, explanatory, proof-theoretic, and able to tackle open theoretical challenges….
4 Mar 2024 · Seminar
Voting on two alternatives appears unproblematic compared to voting on three (or more). When faced with only two alternatives, many arguments show that Majority Rule distinguishes itself from all other ways of making a group decision. For three or more…
26 Feb 2024 · Seminar
Belnap-Dunn logic (BD) [1] was designed to reason about incomplete and contradictory information. It is a paracomplete and paraconsistent propositional logic, that is, BD is a propositional logic that satisfies the same axioms as classical propositional…