Sonia Marin

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
Intuitionistic S4 is decidable	2026-02-27	Paper
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics	2026-02-19	Paper
Justification logic for intuitionistic modal logic	2026-02-10	Paper
Separability and harmony in ecumenical systems Journal of Logic and Computation	2025-09-30	Paper
A simple loopcheck for intuitionistic K	2025-01-31	Paper
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
Modal logic and the polynomial hierarchy: from QBFs to K and back	2023-03-24	Paper
Justification logic for constructive modal logic	2022-10-12	Paper
A pure view of ecumenical modalities	2022-06-24	Paper
From axioms to synthetic inference rules via focusing Annals of Pure and Applied Logic	2022-04-01	Paper
Ecumenical modal logic (available as arXiv preprint)	2021-12-01	Paper
Focused proof-search in the logic of bunched implications (available as arXiv preprint)	2021-10-18	Paper
A fully labelled proof system for intuitionistic modal logics Journal Of Logic And Computation	2021-09-22	Paper
Ecumenical modal logic (available as arXiv preprint)	2020-05-28	Paper
Label-free modular systems for classical and intuitionistic modal logics	2018-04-23	Paper
scientific article; zbMATH DE number 6863660 (Why is no real title available?)	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 Lecture Notes in Computer Science	2016-06-10	Paper

Research outcomes over time

This page was built for person: Sonia Marin