Seminário Permanente de Filosofia das Ciências (sessão conjunta com o Mathematical Logic Seminar - CEMS.UL/CMAFcIO)

An introduction to conditionals and their proof theory

Sala 2.3.13, Ciências ULisboa (com transmissão via Zoom)

Por Marianna Girlando (ILLC, University of Amsterdam).

Conditional logics enrich the language of classical propositional logic with a two-places modal operator, the conditional, suitable to represent fine-grained notions of conditionality, such as counterfactual statements, non-monotonic inferences, and conditional belief assertions. Semantic studies of conditionals date back to the 1970s, with the seminal works of Stalnaker, D. K. Lewis and Chellas. Since then, various classes of models capturing conditionals have been developed and extensively studied. In contrast, the proof theory of conditional logics has been developed only in recent years, relying on the proof-theoretic techniques employed for modal logics. Specifically, to define analytic proof systems for modal logics, two main approaches have been developed: the labelled approach enriches the language of sequent calculus with semantic information, while the structured approach employs additional structural connectives in the calculus. To this latter approach belong, e.g., nested sequents and hypersequents.

After introducing conditional logics and their semantics, that I will define in terms of neighborhood models, I will present sequent calculi for conditional logics belonging both to the labelled and to the structured approach. Namely, I will present a labelled sequent calculus, modularly capturing a large family of conditional systems by internalising their semantics, and a nested-style sequent calculus, featuring a structural connective representing neighborhoods of the model. I will then compare the two calculi and their properties.

This talk is based on joint work with: Bjoern Lellmann, Sara Negri, Nicola Olivetti and Gian Luca Pozzato.

Bio: After a Master in Logic, Philosophy and History of Sciences at the University of Florence, I pursued my interests in proof theory and modal logics with a joint PhD in Computer Science (Aix-Marseille Université) and Philosophy (Helsinki University). Under the supervision of Nicola Olivetti and Sara Negri, I studied the proof theory of conditionals logics, introducing several innovative proof systems for these logics. After discussing my PhD thesis in 2019, I worked as a postdoc at Inria Saclay (Ile de France), under the supervision of Lutz Strassburger. In the course of the postdoc I became interested in studying the decidability of modal logics through proof-theoretic methods. Then, in 2021 I moved to the University of Birmingham to study cyclic proof theory under the supervision of Anupam Das. Cyclic proofs are an elegant and analytic formalism to capture (among others) modal logics with operators expressing forms of recursions, such as transitive closure. From 2022 to August 2024 I was a Marie Skłodowska Curie fellow at the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam, with a project aiming at finding a general and uniform method to define cyclic proofs for families of modal logics with recursive modalities. Since September 2024, I am assistant professor at the ILLC, and I plan to continue my research in proof theory, targeting both conditional logics and logics with recursive modalities.


Transmissão via Zoom (pw: 195088).

10h00-12h00
João Luís Cordovil (CFCUL/RG2), Silvia Di Marco (CFCUL) e Mattia Petrolo (CFCUL/RG1)

Uma oportunidade única para interagir com a comunidade global de computação científica.

Seminário do Centro de Física Teórica e Computacional, por Pablo Sartori (Instituto Gulbenkian de Ciência, Oeiras, Portugal).

Seminário do Departamento de Física de Ciências ULisboa, por João Ramalho Pires (FCUL - LIP).

Seminário de Geometria e Física, por Ariel Pacetti (Universidade de Aveiro).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Mar

Seminário de Projeto de Investigação (Doutoramento em Biologia - Especialidade de Biologia Marinha e Aquacultura), por  João Noronha Gamito Trigo de Sousa.

Earth Systems Seminar, por Luis Gimeno-Sotelo (CEAUL, ULisboa / EPhysLab, UVigo).

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Fotografia de alimentos

Comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Título/data/local do evento e fotografia do espaço

How far will you go? The IA Summer Program 2025 is your launchpad to the Universe - apply until 26 May!

Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.

Páginas