Follow
Diana Costa
Diana Costa
LASIGE, Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at fc.ul.pt
Title
Cited by
Cited by
Year
Paraconsistency in hybrid logic
D Costa, MA Martins
Journal of Logic and Computation 27 (6), 1825-1852, 2017
202017
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
82020
Higher-order context-free session types in system F
D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2203.12877, 2022
72022
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
72021
Inconsistencies in health care knowledge
D Costa, MA Martins
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
72014
System with Context-free Session Types
D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
52023
Intelligent-based robot to deal with contradictions
D Costa, MA Martins
2016 International Conference on Autonomous Robot Systems and Competitions …, 2016
52016
A four-valued hybrid logic with non-dual modal operators
D Costa, MA Martins
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
42020
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
32021
A tableau system for quasi-hybrid logic
D Costa, MA Martins
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
32016
Measuring inconsistent diagnoses
D Costa, MA Martins
2018 IEEE 20th International Conference on e-Health Networking, Applications …, 2018
22018
On Herbrand's Theorem for Hybrid Logic.
D Costa, MA Martins, J Marcos
FLAP 6 (2), 209-228, 2019
12019
Classical principles in molecular logic
D Costa, P Fuentes, C Fuentes, MA Martins
AIP Conference Proceedings 1648 (1), 2015
12015
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
How to Compose Programs in Belnapian Dynamic Logic?
MA Martins, D Costa
Handbook of the 6th World Congress and School on Universal Logic, 306, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20