Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 96



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: Luke Bayzid; Alexandre Madeira; Manuel A Martins ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25880
INDEXED IN: Scopus DBLP
5
TITLE: Characterization of Lattice Properties Within Modal Extensions  Full Text
AUTHORS: Alfredo R Freire; Manuel A Martins ;
PUBLISHED: 2025, SOURCE: 20th International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025 in CoRR, VOLUME: abs/2509.25882
INDEXED IN: Scopus DBLP
6
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
7
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
8
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
IN MY: DBLP
9
TITLE: Modality across different logics  Full Text
AUTHORS: Freire, Alfredo Roque; Martins, Manuel A. ;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, ISSUE: 3
INDEXED IN: WOS DBLP CrossRef: 4
IN MY: ORCID
10
TITLE: Propositional Type Theory of Indeterminacy  Full Text
AUTHORS: Aranda, Victor; Martins, Manuel ; Manzano, Maria;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA, VOLUME: 112, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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