Diana Costa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polymorphic higher-order context-free session types Theoretical Computer Science	2024-05-08	Paper
4DL: a four-valued dynamic logic and its proof theory Journal Of Logic And Computation	2024-02-08	Paper
System \(F^\mu_\omega\) with context-free session types	2023-11-24	Paper
Relation-changing models meet paraconsistency Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
On Herbrand's theorem for hybrid logic	2022-09-28	Paper
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
scientific article; zbMATH DE number 7325814 (Why is no real title available?)	2021-03-18	Paper
Reasoning over permissions regions in concurrent separation logic	2021-02-09	Paper
A four-valued hybrid logic with non-dual modal operators	2020-07-08	Paper
Inconsistency measures in hybrid logics	2019-08-01	Paper
Paraconsistency in hybrid logic Journal Of Logic And Computation	2018-02-13	Paper
A tableau system for quasi-hybrid logic Automated Reasoning	2016-09-05	Paper

Research outcomes over time

This page was built for person: Diana Costa