Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



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: Bayzid, Luke; Madeira, Alexandre; Martins, Manuel A. ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 430, NÚMERO: 430
INDEXADO EM: Scopus WOS DBLP
5
TÍTULO: Characterization of Lattice Properties Within Modal Extensions  Full Text
AUTORES: Freire, Alfredo R.; Martins, Manuel A. ;
PUBLICAÇÃO: 2025, FONTE: 20th International Symposium on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 430, NÚMERO: 430
INDEXADO EM: Scopus WOS DBLP
6
TÍTULO: HYBRID PARTIAL TYPE THEORY
AUTORES: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel ; Aranda, Victor;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
7
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
8
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
9
TÍTULO: Modality across different logics
AUTORES: Freire, Alfredo Roque; Martins, Manuel A. ;
PUBLICAÇÃO: 2025, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, NÚMERO: 3
INDEXADO EM: WOS DBLP CrossRef: 4
NO MEU: ORCID
10
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
Página 1 de 10. Total de resultados: 95.

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

Links Úteis

Ajuda

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