Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 96



1
TÍTULO: Graded Relation Updates in Modal Logic
AUTORES: Fervari, Raul; Figueiredo, Daniel; Martins, Manuel A. ;
PUBLICAÇÃO: 2026, FONTE: 31st International Workshop on Logic Language Information and Computation-WoLLIC in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025, VOLUME: 15942
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
2
TÍTULO: Preface
AUTORES: José Proença; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXADO EM: Scopus
3
4
TÍTULO: A Function-Set Framework: General Properties and Applications to Modal Logic  Full Text
AUTORES: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
INDEXADO EM: Scopus DBLP
5
TÍTULO: Characterization of Lattice Properties Within Modal Extensions  Full Text
AUTORES: Alfredo R Freire; Manuel A Martins ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25882
INDEXADO EM: Scopus DBLP
6
TÍTULO: Labeled fuzzy reactive graphs  Full Text
AUTORES: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A. ; Santiago, Regivan;
PUBLICAÇÃO: 2025, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 510
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
7
TÍTULO: Lattices for Many-Logics Modal Logic: Constructions and Representations
AUTORES: Freire, Alfredo; Madeira, Alexandre; Martins, Manuel A. ;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
INDEXADO EM: Scopus WOS
8
TÍTULO: The Institution of Many-Logics Modal Logic
AUTORES: Freire, Alfredo R.; Martins, Manuel A. ; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
9
TÍTULO: Modality across different logics  Full Text
AUTORES: Freire, Alfredo Roque; Martins, Manuel A. ;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, NÚMERO: 3
INDEXADO EM: WOS DBLP CrossRef: 4
NO MEU: ORCID
10
TÍTULO: Propositional Type Theory of Indeterminacy  Full Text
AUTORES: Aranda, Victor; Martins, Manuel ; Manzano, Maria;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA, VOLUME: 112, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 de 10. Total de resultados: 96.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service