Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 76



11
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
IN MY: DBLP
12
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: WOS DBLP CrossRef: 12
IN MY: DBLP
13
TITLE: Boolean dynamics revisited through feedback interconnections  Full Text
AUTHORS: Chaves, M; Figueiredo, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 4th French Speaking Meeting on Interaction Networks - Foundations and Application to Biology in NATURAL COMPUTING, VOLUME: 19, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
14
15
TITLE: Preface
AUTHORS: Martins, MA ; Sedlár, I;
PUBLISHED: 2020, SOURCE: 3rd International Workshop on Dynamic Logic, DaLí 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12569 LNCS
INDEXED IN: Scopus
IN MY: ORCID
16
TITLE: Reversal Fuzzy Switch Graphs
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLISHED: 2020, SOURCE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
17
TITLE: Completeness in Equational Hybrid Propositional Type Theory  Full Text
AUTHORS: Manzano, M; Martins, M ; Huertas, A;
PUBLISHED: 2019, SOURCE: STUDIA LOGICA, VOLUME: 107, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
18
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
19
20
TITLE: ON HERBRAND'S THEOREM FOR HYBRID LOGIC
AUTHORS: Costa, D; Martins, MA ; Marcos, J;
PUBLISHED: 2019, SOURCE: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
Page 2 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

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