–
Room P3.10, Mathematics Building
João Rasga, SQIG-IT / IST-ULisboa
Craig interpolation in the presence of unreliable connectives
Arrow and turnstile interpolations are investigated in UCL (introduced in [SRSM13]), a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos. The talk reports on joint work with Amílcar Sernadas and Cristina Sernadas.