BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for dfdcosta
(12)
2024
Interfaces avançadas para soluções de gestão arquivística
(2024)
Esteves, Afonso Manuel Gonçalves
Costa, Diana Filipa de Pinho
Oliveira Junior, António Wellington de
Academic documents
2023
4DL: a four-valued dynamic logic and its proof theory
(2023)
Diana Costa
Journal articles
2023
Relation-changing models meet paraconsistency
(2023)
Diana Costa
Daniel Figueiredo
Manuel A. Martins
Journal articles
2023
System $F^\\mu _\\omega$ with Context-free Session Types
(2023)
Diogo Poças
Diana Costa
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2022
Higher-order Context-free Session Types in System F
(2022)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
(2021)
D. Costa
M. A. Martins
Journal articles
2020
A Roadmap of Paraconsistent Hybrid Logics
(2020)
D. Costa
M. A. Martins
Book chapters
2020
Reasoning over Permissions Regions in Concurrent Separation Logic
(2020)
J. Brotherston
D. Costa
A. Hobor
J. Wickerson
Conference papers
2020
A Four-Valued Hybrid Logic with Non-dual Modal Operators
(2020)
D. Costa
M. A. Martins
Book chapters
2019
On Herbrand's Theorem for Hybrid Logic
(2019)
D. Costa
J. Marcos
M. A. Martins
Journal articles
2018
Measuring inconsistent diagnoses
(2018)
Diana Costa
Manuel A. Martins
Conference papers
2018
Inconsistency Measures in Hybrid Logics
(2018)
D. Costa
M. A. Martins
Book chapters