Sonia Marin

Available identifiers

zbMath Open marin.soniaMaRDI QIDQ1694450

List of research outcomes

Publication	Date of Publication	Type
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/Q4636050	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636304	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sonia Marin