Manuel A. Martins
Universidade de Aveiro
H-index: 15
Europe-Portugal
Top articles of Manuel A. Martins
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers | José Luiz Fiadeiro Pierre-Yves Schobbens | 2019 | |
Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) | Journal of Logic and Computation | Manuel A Martins Igor Sedlár | 2023/9 |
Aggregation-based operations for reversal fuzzy switch graphs | Fuzzy Sets and Systems | Suene Campos Regivan Santiago Manuel A Martins Daniel Figueiredo | 2023/8/30 |
Relation-changing models meet paraconsistency | Journal of Logical and Algebraic Methods in Programming | Diana Costa Daniel Figueiredo Manuel A Martins | 2023/6/1 |
Hybrid Partial Type Theory | The Journal of Symbolic Logic | Maria Manzano Antonia Huertas Patrick Blackburn Manuel Martins Víctor Aranda | 2021 |
Exorcising the phantom zone | Information and Computation | Patrick Blackburn Manuel Martins María Manzano Antonia Huertas | 2022/9/1 |
Relating Kleene algebras with pseudo uninorms | Benjamin Bedregal Regivan Santiago Alexandre Madeira Manuel Martins | 2022/7/31 | |
Introduction to reversal fuzzy switch graph | Science of Computer Programming | Suene Campos Regivan Santiago Manuel A Martins Daniel Figueiredo | 2022/4/1 |
Essay on modality across different logics | arXiv e-prints | Alfredo Roque Freire Manuel A Martins | 2022/3 |
Graded epistemic logic with public announcement | Journal of Logical and Algebraic Methods in Programming | Mário Benevides Alexandre Madeira Manuel A Martins | 2022/2/1 |
Special issue “International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18” | Soft Computing | Tomas Veloz Madalena Chaves Manuel Martins | 2021/5 |
Introducing fuzzy reactive graphs: a simple application on biology | Soft Computing | Regivan Santiago Manuel A Martins Daniel Figueiredo | 2021/5 |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 | |
Adding Proof Calculi to Epistemic Logics with Structured Knowledge | Mario Benevides Alexandre Madeira Manuel A Martins | 2021 | |
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic | Journal of Logical and Algebraic Methods in Programming | Diana Costa Manuel A Martins | 2021/6/1 |
A fuzzy modal logic for fuzzy transition systems | Electronic Notes in Theoretical Computer Science | Manisha Jain Alexandre Madeira Manuel A Martins | 2020/3/1 |
Reversal fuzzy switch graphs | Suene Campos Regivan Santiago Manuel A Martins Daniel Figueiredo | 2020 | |
A four-valued hybrid logic with non-dual modal operators | Diana Costa Manuel A Martins | 2020 | |
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers | Manuel A Martins Igor Sedlár | 2020/12/21 |