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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
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
INDEXED IN: WOS
3
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
INDEXED IN: DBLP
IN MY: DBLP
4
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
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Exorcising the phantom zone
AUTHORS: Blackburn, Patrick; Martins, Manuel; Manzano, Maria; Huertas, Antonia;
TYPE: Article, PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXED IN: WOS
6
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
INDEXED IN: Scopus WOS
7
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
INDEXED IN: Scopus WOS
8
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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
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
INDEXED IN: DBLP
IN MY: DBLP
10
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
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 4. Total results: 34.