Pedro Gonçalo Godinho Filipe

Former IT academic position:	External Author
Joining/Leaving IT dates:	01-01-2018 / 01-12-2022
Roles held in IT:	PhD Student
Former IT thematic line:	Basic Sciences and Enabling Technologies
Group:	Security and Quantum Information - Lx

By Authors | By Institutions

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. (LNTCS,volume 13137), Artemov, S., Nerode, A., Springer, Cham, 2022 | Full text (PDF 332 KBs)

2Papers in Journals

C. Caleiro, P. Filipe, S. Marcelino, Equivalence of Finite Non-deterministic Logical Matrices is Undecidable, Studia Logica, Vol., No., pp. -, November, 2025 | Full text (PDF 500 KBs) | BibTex
P. Filipe, S. Marcelino, C. Caleiro, Computational properties of finite PNmatrices, Journal of Logic and Computation, Vol. 32, No. 8, pp. 1694 - 1719, November, 2022 | Full text (PDF 456 KBs) | BibTex

3Papers 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 | BibTex
S. Marcelino, C. Caleiro, P. Filipe, Computational Properties of Partial Non-deterministic Matrices and Their Logics, Logical Foundations of Computer Science, Conference online, Vol. 13137, pp. 180 - 197, December, 2021 | 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