Pedro Gonçalo Godinho Filipe

Creating and sharing knowledge for telecommunications

Pedro Filipe

Academic position:	PhD Student
Joining date:	01-01-2018
Roles in IT:	PhD Student
Thematic Line:	Basic Sciences and Enabling Technologies
Group:	Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Scientific Achievements

Thesis Information

AAL for partial non-deterministic matrices and multiple-conclusion logics, Instituto Superior Técnico, PhD Student, Pedro Gonçalo Godinho Filipe, Supervisor: C. Caleiro, Co-supervisor: S. Marcelino, jan-2018 - dez-2022

Publications

1Books Chapters

S. Marcelino, C. Caleiro, P. Filipe, Computational Properties of Partial Non-deterministic Matrices and Their Logics, Chapter in, Logical Foundations of Computer Science. LFCS 2022. LNCS 13137, Springer International Publishing, Cham, 2022

2Papers in Conferences

P. Filipe, C. Caleiro, S. Marcelino, Monadicity of Non-deterministic Logical Matrices is Undecidable, NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS, Lodz, Poland, March, 2022 | Full text (PDF 231 KBs) | BibTex
S. Marcelino, C. Caleiro, P. Filipe, Infectious semantics and analytic calculi for even more inclusion logics, IEEE International Symposium on Multiple-Valued Logic ISMVL, Miyazaki, Japan, Vol., pp. 224 - 229, November, 2020 | BibTex

© 2022, IT - Instituto de Telecomunicações | All Rights Reserved