1
TITLE: Aggregation-based operations for reversal fuzzy switch graphs  Full Text
AUTHORS: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLISHED: 2023, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 466
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
AUTHORS: Manuel A Martins ; Igor Sedlár;
PUBLISHED: 2023, SOURCE: J. Log. Comput., VOLUME: 33, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Preface
AUTHORS: Alexandre Madeira; Manuel Martins ;
PUBLISHED: 2023, SOURCE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS
INDEXED IN: Scopus
5
TITLE: Exorcising the phantom zone  Full Text
AUTHORS: Blackburn, Patrick; Martins, Manuel ; Manzano, Maria; Huertas, Antonia;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
6
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
IN MY: DBLP
7
TITLE: Introduction to reversal fuzzy switch graph  Full Text
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
IN MY: DBLP
8
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: 1
IN MY: DBLP
9
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
10
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: 9
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 76.