Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



31
32
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
33
TITLE: Reversal Fuzzy Switch Graphs
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLISHED: 2020, SOURCE: SBMF, VOLUME: 12475 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
34
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 DBLP CrossRef: 4
IN MY: ORCID
35
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Madeira, A ; Martins, MA ; Benevides, MRF;
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: 3
IN MY: ORCID
36
37
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
38
TITLE: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTHORS: Santiago, R; Bedregal, B; Madeira, A ; Martins, MA ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
39
TITLE: Preface
AUTHORS: Chaves, M; Martins, MA ;
PUBLISHED: 2019, SOURCE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11415 LNCS
INDEXED IN: Scopus
IN MY: ORCID
40
TITLE: Rigid First-Order Hybrid Logic
AUTHORS: Patrick Blackburn; Manuel A Martins ; María Manzano; Antonia Huertas;
PUBLISHED: 2019, SOURCE: WoLLIC, VOLUME: 11541 LNCS
INDEXED IN: Scopus DBLP
Page 4 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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