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 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 System with Context-free Session Types D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2301.08659, 2023
2023