Manuel António Gonçalves Martins
AuthID: R-000-A10
11
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
12
TITLE: Rigid First-Order Hybrid Logic
AUTHORS: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
PUBLISHED: 2019, SOURCE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
AUTHORS: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
PUBLISHED: 2019, SOURCE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP13
TITLE: Completeness in Equational Hybrid Propositional Type Theory
AUTHORS: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLISHED: 2019, SOURCE: Studia Logica, VOLUME: 107, ISSUE: 6
AUTHORS: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLISHED: 2019, SOURCE: Studia Logica, VOLUME: 107, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP