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)

Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).

O outono aproxima-se a passos largos e não tarda está aí o inverno... que alimentos se cultivam nesta altura do ano? Não sabes quais e como? Tens um terreno ao qual gostarias de dar algum uso?

Título/datas do evento, logótipos das entidades participantes e fotografia de alimentos

CIÊNCIAS associa-se à Semana da Nutrição - "Direito à Alimentação, para um Futuro Melhor", uma iniciativa do Laboratório de Nutrição | Faculdade de Medicina da ULisboa.

Seminário do Centro de Física Teórica e Computacional, por Pedro Borlido (Departamento de Física, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, Portugal).

Título/data/local do evento e fotografias dos três oradores

A sessão irá partilhar exemplos de boas práticas de três instituições de ensino superior, nomeadamente de CIÊNCIAS.

Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).

Seminário em Biologia Humana e Ambiente, por Ana Luísa Silva (CESAM - University of Aveiro).

Webinar por Cristina Branquinho (Ciências ULisboa / cE3c).

The Genotype-Phenotype map is a conceptual and modeling tool that represents development in the context of evolution. In order to promote a philosophy of evolution more aware of the putative centrality of this important research tool, this workshop gathers evolutionary biologists and philosophers interested in the notion.

Título/data/local do evento e fotografia de três jovens

Conferência no âmbito do VII Encontro dos Presidentes dos Conselhos Gerais das Universidades Públicas Portuguesas - a entrada é livre, mediante inscrição prévia.

Data e logótipo do evento

Atenção! Este evento vai aumentar a tua pressão arterial. O WBME é um evento de entrada livre que certamente não vais querer perder!

Título da iniciativa e fotografia de pessoas a correr

A Universidade de Lisboa associa-se à Corrida Sempre Mulher, oferecendo as primeiras 70 inscrições na Caminhada, para integrar o grupo da ULisboa. A iniciativa é aberta a toda a comunidade da ULisboa, mediante inscrição até 07 de outubro.

INTERSELF Interdisciplinary Conference.

Seminário Doutoral I (Doutoramento em Biologia), por Sara Faria.

Seminário de Pós-graduação (Doutoramento em Biologia), por Eduardo Miguel Onofre Feijão.

Ciências Research & Innovation Day 2024

Join us on October 22 (Tuesday) for the 6th edition of Ciências Research & Innovation Day: an opportunity for faculty, researchers and innovators to share their work with both the internal and external community, fostering collaboration and networking.

Título/data/local do evento e logótipo da Unite!

A Universidade de Lisboa acolhe a segunda edição do Unite! Widening Open Science Policy Forum, centrado na promoção do desenvolvimento de universidades europeias de ciência e inovação aberta.

Título/data/local do evento e três fotografias relacionadas com a permacultura

Permacultura? Não é uma pseudociência esotérica? Uma utopia sem fundamento científico? Para desmistificar estas e outras ideias, o permacultor certificado Tiago Silva (SmartLeap) guiar-te-á pelos caminhos desta prática multidisciplinar, fundada em sólidas bases empíricas.

Título "Prémio Universidade de Lisboa '23"

Instituído com o apoio da Caixa Geral de Depósitos, o Prémio ULisboa tem como objetivo distinguir e premiar uma individualidade de nacionalidade portuguesa ou estrangeira, que tenha contribuído de forma notável para o progresso e o engrandecimento da Ciência e/ou Cultura e projeção internacional de Portugal.

Título dos prémios e representação de tronco humano

Submissão de trabalhos de Mestrado e de Doutoramento realizados na ULisboa, ligados à temática da saúde, até 30 de outubro.

Ariel Space Mission - Consortium Meeting Lisbon

A reunião de fim de ano do Consórcio responsável pela missão espacial Ariel da Agência Espacial Europeia (ESA) vai realizar-se em CIÊNCIAS e no Pavilhão do Conhecimento - Ciência Viva.

Logótipo e data do evento

O primeiro Tropical Summit visa reunir líderes de todo o mundo para abordar os desafios tropicais mais prementes.

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.