Mathematical Logic Seminar

On the proof theory of modal logics

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Maria Osório Costa (CMAFcIO, Faculdade de Ciências da Universidade de Lisboa).

This talk is a report on my Master's Thesis, supervised by Professor Fernando Ferreira and Doctor Marianna Girlando. The thesis aims at presenting a proof-theoretical analysis of modal logics.

Modal logics extend classical propositional logic by adding to the language operators $'\Box'$ and $'\Diamond'$, expressing necessity and possibility. In this work, we will focus on the modal logics in the $\mathbf{S5}$-cube, built from the basic modal logic $\K$ by considering combinations of certain frame conditions such as reflexivity, symmetry and transitivity.

We are interested in studying sequent systems for this family of logics. The systems we present are based on Gentzen's calculus $\G$, with two additional pairs of rules for the modal operators and where the language has been extended with labels. These labels annotate formulas denoting worlds in a Kripke-model where they are satisfied. Note that this idea is not limited to sequent calculi, in fact, it has been studied for other formal systems such as natural deduction and tableaux. Moreover, the labels can represent, not only worlds in a model but also truth values.

We discuss several results that have been obtained in the literature for this family of modal logics, such as the admissibility of weakening, contraction, and most notably of the cut rule, which ensures the subformula property. Furthermore, we investigate proof-search termination strategies, which allows us to obtain countermodels for non-derivable sequents, and prove, via proof-theoretical tools, decidability and the finite model property for the logics in the cube, in particular for $\K$ and $\mathbf{S4}$ which we take as a case study.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Pintura abstrata em tons de azul, laranja e amarelo

Seminário do Centro de Física Teórica e Computacional, por Mariana Oliveira (ICECO - Aveiro Institute of Materials, University of Aveiro, Portugal).

Logótipo C-Academy

Combinando teoria e prática, o curso prepara os alunos para compreenderem a infraestrutura digital moderna e aplicarem esses conhecimentos em cenários reais, com foco em arquiteturas robustas, deteção de erros e soluções para redes de alto desempenho.

Representação de folhas de árvores

Concerto no âmbito do programa Música na Universidade de Lisboa.

Alunos de CIÊNCIAS

Uma iniciativa gratuita, dirigida aos estudantes do 1.º e 2.º ciclo de estudos de CIÊNCIAS, com inscrições até 20 de março.

Seminário do Departamento de Física de Ciências ULisboa, por Masahiro Takagi (Kyoto Sangyo University, Kyoto, Japan).

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

Talk @DI, por João Pedro Carvalho.

Data da edição de 2025 da Futurália

CIÊNCIAS vai estar presente, uma vez mais, no stand da Universidade de Lisboa.

Título "Cybersecurity Executive Program Edição 2025", sobre um fundo em tons de verde

Adotar boas medidas e práticas de Cibersegurança é fundamental nos dias de hoje, para qualquer empresa, para proteger a integridade, confidencialidade e disponibilidade de dados sensíveis e pessoais, reduzindo o risco de ataques e fraudes.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Edmund J. Copeland.

Título/data/local do evento e representação de floresta

Esta é a altura certa para fazer os últimos preparativos para uma agrofloresta viçosa e produtiva que nos dará fruta, biodiversidade e sombra nos meses mais quentes.

Fotografia de criança a observar plantas com uma lupa

This course aims to explore ways of communicating science to non-specialized audiences, such as policy makers, industry, general public (including students and teachers), through their engagement and participation in citizen science activities.

Logótipo da Semana da Sustentabilidade

O foco da da SDS’25 é abrir espaço à reflexão sobre como as nossas ações, hoje, poderão influenciar o amanhã, sendo, assim, o lema desta Edição “Pelo Futuro, o Amanhã começa Hoje“.

Conferência por António Vidigal (Consultor Independente e Representante do Conselho Consultivo Industrial no Conselho Diretivo do Programa UT Austin Portugal).

Reitoria da ULisboa

O ato eleitoral decorrerá nos dias 31 de março e 01 de abril de 2025.

Sala de aula

Curso creditado para efeitos de progressão na carreira dos professores do Ensino Secundário dos grupos 500 e 550, com candidaturas até 25 de março.

Fotografia de coleção de insetos

The course includes several case studies of insect adaptation, and the most recent overview on insect evodevo, plasticity, ecophysiological responses and conservation under global change.

Título/data/local do evento e fotografia aérea de vias urbanas

Conferência da redeMOV, por Gabriel Costa Valença.

Logótipos do evento/Ciências ULisboa/AEFCL e data do evento, sobre fotografia de edição anterior

O maior evento de empregabilidade de CIÊNCIAS, a decorrer nos dias 08 e 09 de abril.

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

Título do evento

A collaborative initiative supported by five Portuguese research centers, aimed at strengthening and connecting the geometry research community in Portugal.

Título/data/local do evento e fotografia da cidade de Lisboa

The conference aims to bring together students and young researchers working in Mathematics, Statistics, and Applications with a view to fostering discussions and collaborations amongst participants.

Título "Para um ensino humanista das ciências" e logótipos das entidades organizadoras

O evento tem como tema principal "Para um ensino humanista das ciências" e conta com a participação de vários professores de CIÊNCIAS.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 22 de março.

Banner do Dia de Ciências 2025

A 29 de abril assinalamos o 114.º aniversário de CIÊNCIAS.

Junte-se a nós no Grande Auditório de CIÊNCIAS para uma tarde de celebração que reúne toda a comunidade da Faculdade.

Páginas