BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Documentos Académicos

Tipo de Documento
Dissertação de Mestrado

Título
On the Proof Theory of Modal Logics

Participantes na publicação
Costa, Maria Osório Oliveira (Author)
Dep. Matemática
Unidade de I&D e Inovação
CMAFcIO
Ferreira, Fernando (Adviser)
Dep. Matemática
CMAFcIO
Girlando, Marianna (Adviser)

Data de Submissão/Pedido
2024
Data de Publicação
2024

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Identificadores da Publicação

Identificadores do Documento
URL - https://repositorio.ul.pt/handle/10451/65400


Exportar referência

APA
Costa, Maria Osório Oliveira, (2024). On the Proof Theory of Modal Logics. https://repositorio.ul.pt/handle/10451/65400 Ferreira, Fernando, Girlando, Marianna,

IEEE
Costa, Maria Osório Oliveira, "On the Proof Theory of Modal Logics", 2024.

BIBTEX
@MastersThesis{61735, author = {Costa, Maria Osório Oliveira}, title = {On the Proof Theory of Modal Logics}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2024}, OPTtype = {Documentos Académicos} }