Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



1
TITLE: Graded Relation Updates in Modal Logic
AUTHORS: Fervari, Raul; Figueiredo, Daniel; Martins, Manuel A. ;
PUBLISHED: 2026, SOURCE: 31st International Workshop on Logic Language Information and Computation-WoLLIC in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025, VOLUME: 15942
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Preface
AUTHORS: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 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
INDEXED IN: Scopus
3
4
TITLE: A Function-Set Framework: General Properties and Applications to Modal Logic  Full Text
AUTHORS: Bayzid, Luke; Madeira, Alexandre; Martins, Manuel A. ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 430, ISSUE: 430
INDEXED IN: Scopus WOS DBLP
5
TITLE: Characterization of Lattice Properties Within Modal Extensions  Full Text
AUTHORS: Freire, Alfredo R.; Martins, Manuel A. ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 430, ISSUE: 430
INDEXED IN: Scopus WOS DBLP
6
TITLE: HYBRID PARTIAL TYPE THEORY
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel ; Aranda, Victor;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
7
TITLE: Labeled fuzzy reactive graphs  Full Text
AUTHORS: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A. ; Santiago, Regivan;
PUBLISHED: 2025, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 510
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
8
TITLE: Lattices for Many-Logics Modal Logic: Constructions and Representations
AUTHORS: Freire, Alfredo; Madeira, Alexandre; Martins, Manuel A. ;
PUBLISHED: 2025, SOURCE: 4th International Conference on Artificial Intelligence Logic and Applications in ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, VOLUME: 2248
INDEXED IN: Scopus WOS
9
TITLE: Modality across different logics
AUTHORS: Freire, Alfredo Roque; Martins, Manuel A. ;
PUBLISHED: 2025, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, ISSUE: 3
INDEXED IN: WOS DBLP CrossRef: 4
IN MY: ORCID
10
TITLE: The Institution of Many-Logics Modal Logic
AUTHORS: Freire, Alfredo R.; Martins, Manuel A. ; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXED IN: Scopus WOS DBLP
Page 1 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service