Manuel António Gonçalves Martins
AuthID: R-000-A10
1
TITLE: Graded epistemic logic with public announcement
AUTHORS: Benevides, M; Madeira, A; Martins, MA;
TYPE: Article, PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
AUTHORS: Benevides, M; Madeira, A; Martins, MA;
TYPE: Article, PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
2
TITLE: Introduction to reversal fuzzy switch graph Full Text
AUTHORS: Campos, S; Santiago, R; Martins, MA; Figueiredo, D;
TYPE: Article, PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
AUTHORS: Campos, S; Santiago, R; Martins, MA; Figueiredo, D;
TYPE: Article, PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXED IN: 
WOS
WOS3
TITLE: Exorcising the phantom zone
AUTHORS: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
TYPE: Article, PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 287
AUTHORS: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
TYPE: Article, PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 287
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Introduction to reversal fuzzy switch graph
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins; Daniel Figueiredo;
TYPE: Article, PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 216
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins; Daniel Figueiredo;
TYPE: Article, PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 216
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Exorcising the phantom zone
AUTHORS: Blackburn, Patrick; Martins, Manuel; Manzano, Maria; Huertas, Antonia;
TYPE: Article, PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 287
AUTHORS: Blackburn, Patrick; Martins, Manuel; Manzano, Maria; Huertas, Antonia;
TYPE: Article, PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXED IN: WOS
WOS6
TITLE: Introducing fuzzy reactive graphs: a simple application on biology Full Text
AUTHORS: Santiago, R; Martins, MA; Figueiredo, D;
TYPE: Article in Press, PUBLISHED: 2021, SOURCE: SOFT COMPUTING
AUTHORS: Santiago, R; Martins, MA; Figueiredo, D;
TYPE: Article in Press, PUBLISHED: 2021, SOURCE: SOFT COMPUTING
INDEXED IN: 
Scopus WOS
Scopus WOS7
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA;
TYPE: Article, PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Costa, D; Martins, MA;
TYPE: Article, PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira; Manuel A Martins;
TYPE: Proceedings Paper, 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
AUTHORS: Mario R F Benevides; Alexandre Madeira; Manuel A Martins;
TYPE: Proceedings Paper, 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
9
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Diana Costa; Manuel A Martins;
TYPE: Article, PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 121
AUTHORS: Diana Costa; Manuel A Martins;
TYPE: Article, PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 121
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Introducing fuzzy reactive graphs: a simple application on biology
AUTHORS: Regivan H N Santiago; Manuel A Martins; Daniel Figueiredo;
TYPE: Article, PUBLISHED: 2021, SOURCE: Soft Comput., VOLUME: 25, ISSUE: 9
AUTHORS: Regivan H N Santiago; Manuel A Martins; Daniel Figueiredo;
TYPE: Article, PUBLISHED: 2021, SOURCE: Soft Comput., VOLUME: 25, ISSUE: 9
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP