Diana Costa

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Newly Constructed

Attribute Grammars

Modal Operators

Top Venues

J. Log. Algebraic Methods Program.

J. Log. Comput.

Publications

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001 (2024)
Diana Costa, Daniel Figueiredo, Manuel A. Martins
Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133 (2023)
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
with Context-free Session Types. ESOP (2023)
Diana Costa, Manuel A. Martins
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. J. Log. Algebraic Methods Program. 121 (2021)
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) (2020)
Diana Costa, Manuel A. Martins, João Marcos
On Herbrand's Theorem for Hybrid Logic. FLAP 6 (2) (2019)
Diana Costa, Manuel A. Martins
A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí (2019)
Diana Costa, Manuel A. Martins
Measuring inconsistent diagnoses. HealthCom (2018)
Diana Costa, Manuel A. Martins
Paraconsistency in hybrid logic. J. Log. Comput. 27 (6) (2017)
Diana Costa, Manuel A. Martins
Intelligent-Based Robot to Deal with Contradictions. ICARSC (2016)
Diana Costa, Manuel A. Martins
A Tableau System for Quasi-Hybrid Logic. IJCAR (2016)
Diana Costa, Manuel A. Martins
Inconsistencies in health care knowledge. Healthcom (2014)