Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 96



21
TÍTULO: Graded epistemic logic with public announcement
AUTORES: Benevides, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
22
TÍTULO: Introduction to reversal fuzzy switch graph
AUTORES: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2022, FONTE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
23
TÍTULO: Preface
AUTORES: Bolotov, A; Fang, J; Francez, N; Goranko, V; Grygiel, J; Kamide, N; Leitsch, A; Malinowski, J; Martins, MA ; Mundici, D; Odintsov, S; Ono, H; Orlandelli, E; Paoli, F; Pelletier, J; Pereira, LC; Poggiolesi, F; Ramanayake, R; Schmidt, R; Shramko, Y; Urchs, M; Tourlakis, G; Wansing, H; Zaitsev, D; Gruszczyński, R; Indrzejczak, A; Jarmużek, T; Kaczmarek, J; Klonowski, M; Mruczek Nasieniewska, K; Nasieniewski, M; Palczewski, R; Pietruszczak, A; Zawidzki, M; Berger, U; Conradie, W; Dalmonte, T; Dicher, B; Drobyshevich, S; Enqvist, S; Figueiredo, D; Fiorino, G; Grabarczyk, P; Greco, G; Huuskonen, T; Kubyshkina, E; Leszczyńska Jasion, D; Lopes, B; Łukowski, P; Madeira, A; Nowak, M; Petrolo, M; Płaczek, P; Tesi, M; Zhao, Z; ...Mais
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 358
INDEXADO EM: Scopus
24
TÍTULO: Relating Kleene Algebras with Pseudo Uninorms
AUTORES: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2022, FONTE: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
25
TÍTULO: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTORES: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2021, FONTE: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
26
TÍTULO: Introducing fuzzy reactive graphs: a simple application on biology  Full Text
AUTORES: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | DBLP
27
TÍTULO: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
28
TÍTULO: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"
AUTORES: Veloz, T; Chaves, M; Martins, M ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
29
TÍTULO: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
30
TÍTULO: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTORES: Jain, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
Página 3 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