2
TITLE: Labeled fuzzy reactive graphs  Full Text
AUTHORS: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A.; Santiago, Regivan;
PUBLISHED: 2025, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 510
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: The Institution of Many-Logics Modal Logic
AUTHORS: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
4
TITLE: Graded Relation Updates in Modal Logic
AUTHORS: Raul Fervari; Daniel Figueiredo; Manuel A Martins;
PUBLISHED: 2025, SOURCE: 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025 in Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings, VOLUME: 15942
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Propositional Type Theory of Indeterminacy  Full Text
AUTHORS: Aranda, Victor; Martins, Manuel; Manzano, Maria;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA, VOLUME: 112, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Modality across different logics  Full Text
AUTHORS: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL
INDEXED IN: WOS CrossRef
IN MY: ORCID
7
TITLE: Reactive Graphs in Action
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
9
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 CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: HYBRID PARTIAL TYPE THEORY
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 15.