Paraconsistency in hybrid logic D Costa, MA Martins Journal of Logic and Computation 27 (6), 1825-1852, 2017 | 20 | 2017 |
Higher-order context-free session types in system F D Costa, A Mordido, D Poças, VT Vasconcelos arXiv preprint arXiv:2203.12877, 2022 | 8 | 2022 |
Reasoning over permissions regions in concurrent separation logic J Brotherston, D Costa, A Hobor, J Wickerson Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 8 | 2020 |
Autism spectrum disorder in infancy and early childhood: the model of the centro de estudos do bebé e da criança for diagnosis and therapeutic intervention CM Halpern, PC da Silva, D Costa, MJ Nascimento, JM Reis, MT Martins, ... Acta Medica Portuguesa 34 (10), 657-663, 2021 | 7 | 2021 |
Inconsistencies in health care knowledge D Costa, MA Martins 2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014 | 7 | 2014 |
System with Context-free Session Types D Poças, D Costa, A Mordido, VT Vasconcelos European Symposium on Programming, 392-420, 2023 | 6 | 2023 |
Intelligent-based robot to deal with contradictions D Costa, MA Martins 2016 International Conference on Autonomous Robot Systems and Competitions …, 2016 | 5 | 2016 |
A four-valued hybrid logic with non-dual modal operators D Costa, MA Martins Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020 | 4 | 2020 |
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic D Costa, MA Martins Journal of Logical and Algebraic Methods in Programming 121, 100679, 2021 | 3 | 2021 |
A tableau system for quasi-hybrid logic D Costa, MA Martins Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 3 | 2016 |
Measuring inconsistent diagnoses D Costa, MA Martins 2018 IEEE 20th International Conference on e-Health Networking, Applications …, 2018 | 2 | 2018 |
On Herbrand's Theorem for Hybrid Logic. D Costa, MA Martins, J Marcos FLAP 6 (2), 209-228, 2019 | 1 | 2019 |
Classical principles in molecular logic D Costa, P Fuentes, C Fuentes, MA Martins AIP Conference Proceedings 1648 (1), 2015 | 1 | 2015 |
TRABALHADORES DE UNIDADES DE ALIMENTAÇÃO COLETIVA: PRINCIPAIS FATORES DE RISCO/RISCOS OCUPACIONAIS, DOENÇAS PROFISSIONAIS E MEDIDAS DE PROTEÇÃO RECOMENDADAS D Costa Ajeogene Serviços Médicos Lda, 2024 | | 2024 |
Polymorphic Higher-order Context-free Session Types D Costa, A Mordido, D Poças, VT Vasconcelos Theoretical Computer Science, 114582, 2024 | | 2024 |
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software D Costa, R Hu arXiv preprint arXiv:2404.03712, 2024 | | 2024 |
4DL: a four-valued dynamic logic and its proof theory D Costa Journal of Logic and Computation 33 (6), 1326-1349, 2023 | | 2023 |
And now worlds may vary! B Dinis, D Costa BOOK OF ABSTRACTS, 3, 2023 | | 2023 |
Relation-changing models meet paraconsistency D Costa, D Figueiredo, MA Martins Journal of Logical and Algebraic Methods in Programming 133, 100870, 2023 | | 2023 |
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers C Areces, D Costa Springer Nature, 2023 | | 2023 |