Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 96



21
TITLE: Graded epistemic logic with public announcement
AUTHORS: Benevides, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
22
TITLE: Introduction to reversal fuzzy switch graph
AUTHORS: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
23
TITLE: Preface
AUTHORS: 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; ...More
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 358
INDEXED IN: Scopus
24
TITLE: Relating Kleene Algebras with Pseudo Uninorms
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
25
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
26
TITLE: Introducing fuzzy reactive graphs: a simple application on biology  Full Text
AUTHORS: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP
27
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
28
TITLE: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"
AUTHORS: Veloz, T; Chaves, M; Martins, M ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
30
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 17
Page 3 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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