1
TITLE: Relation-changing models meet paraconsistency
AUTHORS: Costa, Diana; Figueiredo, Daniel ; Martins, Manuel A.;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: HYBRID PARTIAL TYPE THEORY
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC
INDEXED IN: WOS CrossRef
3
TITLE: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"  Full Text
AUTHORS: Veloz, T; Chaves, M; Martins, M;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
4
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
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
5
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
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
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
INDEXED IN: DBLP
IN MY: DBLP