Sonia Marin

Available identifiers

zbMath Open marin.soniaMaRDI QIDQ1694450

List of research outcomes

Publication	Date of Publication	Type
On intuitionistic diamonds (and lack thereof)	2024-05-17	Paper
Intuitionistic G\"odel-L\"ob logic, \`a la Simpson: labelled systems and birelational semantics	2023-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5884953	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5039162	2022-10-12	Paper
A pure view of ecumenical modalities	2022-06-24	Paper
From axioms to synthetic inference rules via focusing	2022-04-01	Paper
Ecumenical modal logic	2021-12-01	Paper
Focused proof-search in the logic of bunched implications	2021-10-18	Paper
A fully labelled proof system for intuitionistic modal logics	2021-09-22	Paper
Ecumenical modal logic	2020-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4636304	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636050	2018-04-23	Paper
Proof theory for indexed nested sequents	2018-02-02	Paper
Modular Focused Proof Systems for Intuitionistic Modal Logics	2017-10-17	Paper
Focused and Synthetic Nested Sequents	2016-06-10	Paper

Research outcomes over time

This page was built for person: Sonia Marin